Verification engineering: a future profession

Authors:
Amir Pnueli
Affiliations:
Weizmann Institute of Science
Venue:
PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing
Year:
1997

Citing 0
Cited 2

Model Checking: Theory into Practice

FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Model checking: algorithmic verification and debugging

Communications of the ACM - Scratch Programming for All

Quantified Score

Hi-index	0.00

Visualization

Abstract