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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2397745
بازگشت