The Village Telephone System: A Case Study in Formal Software Engineering

Authors:
Karthikeyan Bhargavan;Carl A. Gunter;Elsa L. Gunter;Michael Jackson;Davor Obradovic;Pamela Zave
Affiliations:
-;-;-;-;-;-
Venue:
Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics
Year:
1998

Modular refinement of hierarchic reactive machines

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal software engineering

ACM SIGSOFT Software Engineering Notes
Fault origin adjudication

FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving

TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Modular refinement of hierarchic reactive machines

ACM Transactions on Programming Languages and Systems (TOPLAS)

Hi-index	0.00