Ubiquitous Abstraction: A New Approach to Mechanized Formal Verification

• Authors:

• John Rushby

• Affiliations:

• -

• Venue:
• ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
• Year:
• 1998