Formal Methods: A Panacea or Academic Poppycock?

Authors:
Constance L. Heitmeyer
Affiliations:
-
Venue:
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Year:
1997

Citing 0
Cited 2

The use of industrial-strength formal methods

COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Developing safety-critical systems: the role of formal methods and tools

SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55

Quantified Score

Hi-index	0.00

Visualization

Abstract