Transferring Formal Methods Technology to Industry

Authors:
Panelists: Patrice Godefroid;John Kelly;Steven Miller;Frank Weil
Affiliations:
-;-;-;-
Venue:
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Year:
1998

Model checking for programming languages using VeriSoft

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Model checking without a model: an analysis of the heart-beat monitor of a telephone switch using VeriSoft

Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Experiences Using Lightweight Formal Methods for Requirements Modeling

IEEE Transactions on Software Engineering
Specifying the mode logic of a flight guidance system in CoRE and SCR

FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications

WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques

Hi-index	0.00