Abstract interpretation of reactive systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Data flow analysis is model checking of abstract interpretations
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Counterexample-guided abstraction refinement for symbolic model checking
Journal of the ACM (JACM)
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
DELFIN+: An efficient deadlock detection tool for CCS processes
Journal of Computer and System Sciences
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
Dynamically consistent reduction of logical regulatory graphs
Theoretical Computer Science
Hi-index | 0.00 |