Interactive verification exploiting program design knowledge: a model-checker for unity

Authors:
Markus Kaltenbach;Jayadev Misra;E. Allen Emerson
Affiliations:
-;-;-
Venue:
Interactive verification exploiting program design knowledge: a model-checker for unity
Year:
1996

Citing 0
Cited 2

Strategic directions in concurrency research

ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Mechanizing UNITY in Isabelle

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.00

Visualization

Abstract