Data flow analysis is model checking of abstract interpretations
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Trace-Based Abstract Interpretation of Operational Semantics
Lisp and Symbolic Computation
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing
Reduced Models for Efficient CCS Verification
Formal Methods in System Design
Simulation-based abstractions for software product-line model checking
Proceedings of the 34th International Conference on Software Engineering
Hi-index | 0.00 |