A Formulation of TLA in Isabelle

Authors:
Sara Kalvala
Affiliations:
-
Venue:
Proceedings of the 8th International Workshop on Higher Order Logic Theorem Proving and Its Applications
Year:
1995

Citing 0
Cited 2

A Structural Embedding of Ocsid in PVS

TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Interactive verification of concurrent systems using symbolic execution

AI Communications - Practical Aspects of Automated Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract