DocumentCode
2397745
Title
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques
fYear
1995
fDate
5-8 April 1995
Abstract
The following topics were dealt with: AAMP5 microprocessor verification; architectural specification of an avionic subsystem; software requirements analysis; formal methods; C++ library for specification implementation; system critical flight software verification; industrial design verification; timing analysis of real-time systems; real-time reactive systems specification; finite state machines; reactive systems software; railway signalling; and LOTOS specification
Keywords
formal specification; formal verification; hardware description languages; real-time systems; specification languages; AAMP5; C++ library; LOTOS specification; architectural specification; avionic subsystem; finite state machines; formal methods; industrial design verification; microprocessor verification; railway signalling; reactive systems software; real-time reactive systems specification; real-time systems; software requirements analysis; system critical flight software verification; timing analysis;
fLanguage
English
Publisher
ieee
Conference_Titel
Industrial-Strength Formal Specification Techniques, 1995. Proceedings., Workshop on
Conference_Location
Boca Raton, FL, USA
Print_ISBN
0-8186-7005-3
Type
conf
DOI
10.1109/WIFT.1995.515474
Filename
515474
Link To Document