Title :
Finite model generation and formal specification development
Author_Institution :
Inst. of Software, Acad. Sinica, Beijing, China
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;
Conference_Titel :
Technology of Object-Oriented Languages, 1997. TOOLS 24. Proceedings
Conference_Location :
Beijing
Print_ISBN :
0-8186-8551-4
DOI :
10.1109/TOOLS.1997.713562
