Efficient temporal reasoning (extended abstract)
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Combining supervisor synthesis and model checking
ACM Transactions on Embedded Computing Systems (TECS)
An intruder model for verifying liveness in security protocols
Proceedings of the fourth ACM workshop on Formal methods in security
Checking extended CTL properties using guarded quotient structures
Formal Methods in System Design
p-Automata: New foundations for discrete-time probabilistic verification
Performance Evaluation
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |