[Title page i]

fYear

2006

fDate

15-19 Nov. 2006

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ISoLA.2006.1

Filename

4463678

Link To Document