Bandera: extracting finite-state models from Java source code
Proceedings of the 22nd international conference on Software engineering
Specification and evaluation of logic-based model checking
ACM SIGSOFT Software Engineering Notes
Model-based analysis of configuration vulnerabilities
Journal of Computer Security
State Generation in the PARMC Model Checker
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Dynamic Bounds and Transition Merging for Local First Search
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Verification Using Tabled Logic Programming
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
A dead variable analysis for explicit model checking
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
State space reduction for process algebra specifications
Theoretical Computer Science - Algebraic methodology and software technology
On-the-fly dynamic dead variable analysis
Proceedings of the 14th international SPIN conference on Model checking software
Tabled resolution + constraints: a recipe for model checking real-time systems
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Model checking industrial robot systems
Proceedings of the 18th international SPIN conference on Model checking software
A provably correct compiler for efficient model checking of mobile processes
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Error-preserving local transformations on communication protocols
Software Testing, Verification & Reliability
Hi-index | 0.00 |