Modelisation of Timed Automata in Coq
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Proceedings of the 2006 ACM symposium on Applied computing
Two case studies of semantics execution in Maude: CCS and LOTOS
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
Automatic verification of a model checker by reflection
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
A fully verified executable LTL model checker
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Hi-index | 0.00 |