Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394
Formal Methods in System Design
From I/O Automata to Timed I/O Automata
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Journal of Functional Programming
Cones and foci: A mechanical framework for protocol verification
Formal Methods in System Design
Modular formalization of reactive modules in COQ
ASIAN'06 Proceedings of the 11th Asian computing science conference on Advances in computer science: secure software and related issues
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
Hi-index | 0.00 |