Transferring formal methods technology to industry

Proceedings - 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, WIFT 1998

Volumn 1998-October, Issue , 1998, Pages 128-131

  Jagadeesan, L J ^a   Godefroid, P ^a   Kelly, J ^b   Miller, S ^c   Weil, F ^d  

^a LUCENT TECHNOLOGIES   (United States)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^c ROCKWELL COLLINS   (United States)

^d MOTOROLA INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

NASA;

INDUSTRIAL STRENGTH; LUCENT TECHNOLOGIES; MOTOROLA; NASA JET PROPULSION; PANEL SESSION; ROCKWELL COLLINS;

FORMAL SPECIFICATION;

EID: 35248866566     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WIFT.1998.766306     Document Type: Conference Paper

References (8)

1. P. Dietz, T. Weigert, and F. Weil. Formal techniques for automatically generating marshalling code from high-level specifications. In Proceedings of the Work-shop on Industrial-strength Formal specification Tech-niques, October 1998.
2. S. Easterbook, R. Lutz, R. Covington, J. Kelly, Y. Ampo, and D. Hamilton. Experiences using lightweight formal methods for requirements modeling. IEEE Transactions on Software Engineering, 24(1), January 1998.
3. P. Godefroid. Model Checking for Programming Lan-guages using VeriSoft. In Proceedings of the 24th ACM Symposium on Principles of Programming Languages, pages 174-186, January 1997.
4. P. Godefroid, R. S. Hanmer, and L. J. Jagadeesan. Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch us-ing VeriSoft. In Proceedings of ACM SIGSOFT IS-STA'98 (International Symposium on Software Testing and Analysis), pages 124-133, March 1998.
5. J. Kelly, J. Crow, J. Rushby, and B. DiVito. The new NASA formal methods guidebook. In The Fourth NASA Langley Formal Methods Workshop, September 1997.
6. S.P. Miller. Specifying the mode logic of a ight guid-A nce system in CoRE and SCR. In Proceedings of The Second Annual Workshop on Formal Methods in Soft-ware Practice (FMSP'98), March 1998.
7. S.P. Miller, D.A. Greve, and M. Srivas. Formal ver-ification of the AAMP5 and AAMP-FV microproces-sors. In Proceedings of the Third AMAST Workshop on Real-Time Systems, pages 23-32, March 1996.
8. T. Weigert, J. Boyle, T. Harmer, and F. Weil. The derivation of efficient programs from high-level spec-ifications. In Nick Bourbakis, editor, Artificial In-telligence in Automation. World Scientific Publishers, 1996.