17th Educators Symposium at MODELS 2021 | 0 | 0.34 | 2021 |
Tests and proofs for custom data generators. | 0 | 0.34 | 2018 |
Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover. | 0 | 0.34 | 2018 |
Focalize And Dedukti To The Rescue For Proof Interoperability | 1 | 0.40 | 2017 |
Tests and Proofs for Enumerative Combinatorics. | 1 | 0.35 | 2016 |
ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti. | 1 | 0.36 | 2016 |
Verifying B proof rules using deep embedding and automated theorem proving | 9 | 0.63 | 2015 |
Objects and Subtyping in the Lambda-Pi-Calculus Modulo. | 0 | 0.34 | 2014 |
FocalTest: A Constraint Programming Approach for Property-Based Testing | 2 | 0.46 | 2010 |
Using Computer Science Modeling Techniques for Airport Security Certification | 1 | 0.35 | 2007 |
An attempt to combine UML and formal methods to model airport security | 2 | 0.37 | 2006 |
Adopting a situational requirements engineering approach for the analysis of civil aviation security standards | 4 | 0.75 | 2006 |
Building certified components within FOCAL | 13 | 1.23 | 2004 |