Automatic Verification of Sequential Circuits Using Temporal Logic
IEEE Transactions on Computers
Modalities for model checking (extended abstract): branching time strikes back
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A really abstract concurrent model and its temporal logic
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Expressing interesting properties of programs in propositional temporal logic
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Handbook of automated reasoning
Model Checking: Back and Forth between Hardware and Software
Verified Software: Theories, Tools, Experiments
Hi-index | 0.00 |