Browsing Theses by Subject "Software Certification"
Now showing items 1-1 of 1
-
Using Software Model Checking for Software Certification
(University of Waterloo, 2010-09-13)Software certification is defined as the process of independently confirming that a system or component complies with its specified requirements and is acceptable for use. It consists of the following steps: (1) the ...