Model Checking: Theory into Practice
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Highlevel verification of control intensive systems using predicate abstraction
Formal methods and models for system design
Hi-index | 0.00 |