Verifying temporal properties without temporal logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
A simple approach to specifying concurrent systems
Communications of the ACM
On &ohgr;-automata and temporal logic
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Combining symmetry reduction and under-approximation for symbolic model checking
Formal Methods in System Design
Hi-index | 0.02 |
No Abstract Available