Abstract interpretation of reactive systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verification techniques for cache coherence protocols
ACM Computing Surveys (CSUR)
Using “test model-checking” to verify the Runway-PA8000 memory model
Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures
Formal verification of complex coherence protocols using symbolic state models
Journal of the ACM (JACM)
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
IEEE Transactions on Software Engineering
Verifying Systems with Replicated Components in Mur&b.phiv;
Formal Methods in System Design
Model Checking Complete Requirements Specifications Using Abstraction
Automated Software Engineering
Refinement of LTL Formulas for Abstract Model Checking
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Counterexample-guided abstraction refinement for symbolic model checking
Journal of the ACM (JACM)
Towards the hierarchical verification of reactive systems
Theoretical Computer Science - Logic, semantics and theory of programming
Distributed Computing - Special issue: Verification of lazy caching
On The Evolution Of Reliability Methods For Critical Software
Journal of Integrated Design & Process Science - Applications of formal methods
| Hi-index | 0.00 |