Title :
A compliance notation for verifying concurrent systems
Author :
Atiya, D.M. ; King, S.
Author_Institution :
Dept. of Comput. Sci., York Univ., UK
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;
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
