Model checking and modular verification
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the complexity of bounded-variable queries (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the verification of open distributed systems
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Handbook of automated reasoning
Semi-Automated Verification of Erlang Code
Proceedings of the 16th IEEE international conference on Automated software engineering
Towards a Model Logic for "-Calculus
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Distributed Symbolic Model Checking for μ-Calculus
Formal Methods in System Design
Proceedings of the 2006 ACM symposium on Applied computing
Expressiveness and complexity of graph logic
Information and Computation
μ-Calculus Model Checking in Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
A Modal Logic for π-Calculus and Model Checking Algorithm
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic verification of a model checker by reflection
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Proving ∀µ-calculus properties with SAT-based model checking
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
| Hi-index | 0.00 |