Abstract :
The following topics are dealt with: formal method, formal verification; program validation; formal specification; model checking.
Keywords :
formal specification; formal verification; formal method; formal specification; formal verification; model checking; program validation;
Conference_Titel :
Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on
Conference_Location :
Paphos
Print_ISBN :
978-0-7695-3071-0
DOI :
10.1109/ISoLA.2006.1
