Echo: A practical approach to formal verification

FMICS'05 - Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems

Volumn , Issue , 2005, Pages 44-53

  Strunk, Elisabeth A ^a   Yin, Xiang ^a   Knight, John C ^a  

^a UNIVERSITY OF VIRGINIA   (United States)

Author keywords

Formal specification; Formal verification

Indexed keywords

FORMAL SPECIFICATION; FORMAL VERIFICATION; SAFETY-CRITICAL SYSTEMS;

ACCIDENT PREVENTION; AVIONICS; CODES (SYMBOLS); COMPUTER AIDED ANALYSIS; COMPUTER SOFTWARE; FORMAL LOGIC; MATHEMATICAL MODELS;

SECURITY SYSTEMS;

EID: 33748988762     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Barnes, J., High Integrity Software: The SPARK Approach to Safety and Security, Addison-Wesley, 2003.
2. Barnett, M., K. Rustan M. Leino, and W. Schulte, The Spec# Programming System: An Overview, In CASSIS 2004, LNCS vol. 3362, Springer, 2004.
3. Butler, R and G. Finnelli, The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software, IEEE Transactions on Software Engineering, Vol. 19, No 1, January 1993.
4. van Lamsweerde, A., Formal Specification: a Roadmap, Future of Software Engineering Conference (A. Finkelstein, Ed), ACM Press, 2000.
5. Leavens, G. T. and Y. Cheon, Design by Contract with JML, draft paper, Iowa State University, April 2005.
6. ProofPower, (http://www.lemma-one.com/ProofPower/index/index.html)
7. PVS Specification and Verification System, (http://pvs.csl.sri.com/)
8. Strunk, E. A., J. C. Knight, and M. A. Aiello, Assured Reconfiguration of Fail-Stop Systems, The International Conference on Dependable Systems and Networks, Yokohama, Japan, June 2005.
9. Tudor, N., M. Adams, P. Clayton, and C. O'Halloran, Auto-Coding/Auto- Proving Flight Control Software, 23rd Digital Avionics Systems Conference, October 2004.
10. Whalen, M. W. and Mats P. E. Heimdahl, An Approach to Automatic Code Generation for Safety-Critical Systems, Proceedings of the 14th IEEE International Conference on Automated Software Engineering, October 1999.