DocumentCode
2911500
Title
Finite model generation and formal specification development
Author
Zhang, Jian
Author_Institution
Inst. of Software, Acad. Sinica, Beijing, China
fYear
1997
fDate
35674
Firstpage
350
Lastpage
355
Abstract
Efficient supporting tools are very important to the adoption of formal methods. Conventionally such tools are mainly automated theorem provers. We show that model generators can also be very helpful in obtaining formal specifications of software components. These tools help us to know more about certain properties of specifications, such as completeness and consistency
Keywords
formal specification; object-oriented programming; software tools; automated theorem provers; completeness; consistency; finite model generation; formal methods; formal specification development; model generators; object oriented programming; software components; software tools; Computer bugs; Computer science; Formal specifications; Laboratories; Logic testing; Object oriented modeling; Program processors; Programming profession; Runtime; Software systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Technology of Object-Oriented Languages, 1997. TOOLS 24. Proceedings
Conference_Location
Beijing
Print_ISBN
0-8186-8551-4
Type
conf
DOI
10.1109/TOOLS.1997.713562
Filename
713562
Link To Document