Routing Information Protocol in HOL/SPIN
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Representing Hierarchical Automata in Interactive Theorem Provers
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
A Survey of Hybrid Techniques for Functional Verification
IEEE Design & Test
Theoretical Computer Science
Proof Assisted Model Checking for B
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Formalization of CTL* in calculus of inductive constructions
ASIAN'06 Proceedings of the 11th Asian computing science conference on Advances in computer science: secure software and related issues
Structure preserving data abstractions for statecharts
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
| Hi-index | 0.00 |