DocumentCode
1692086
Title
A compliance notation for verifying concurrent systems
Author
Atiya, D.M. ; King, S.
Author_Institution
Dept. of Comput. Sci., York Univ., UK
fYear
2002
Firstpage
731
Lastpage
732
Abstract
The compliance notation provides a practical system where both formal and informal techniques can be employed in software verification. The notation has been successfully applied in verifying some industrial safety-critical systems, but currently it has no support for verifying concurrent systems. This research aims to extend the compliance notation with appropriate support for verifying concurrent systems.
Keywords
multiprocessing programs; program verification; compliance notation; concurrent systems verification; formal techniques; industrial safety-critical systems; informal techniques; software verification; Calculus; Computer languages; Computer science; Formal specifications; History; Permission; Programming profession; Software design; Sparks; Specification languages;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 2002. ICSE 2002. Proceedings of the 24rd International Conference on
Conference_Location
Orlando, FL, USA
Print_ISBN
1-58113-472-X
Type
conf
Filename
1008059
Link To Document