Locales: A module system for mathematical theories, J. Autom. Reasoning, vol.52, issue.2, pp.123-153, 2014. ,
, Formal Methods -22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC, vol.10951, pp.675-678, 2018.
Interactive testing with HOL-TestGen, Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, vol.3997, pp.87-102, 2005. ,
,
On theorem prover-based testing, Formal Asp. Comput, vol.25, issue.5, pp.683-721, 2013. ,
Transition systems and automata. Archive of Formal Proofs, 2017. ,
An improved conformance testing method, Formal Techniques for Networked and Distributed Systems -FORTE 2005, 25th IFIP WG 6.1 International Conference, vol.3731, pp.204-218, 2005. ,
Testing from a nondeterministic finite state machine using adaptive state counting, IEEE Trans. Computers, vol.53, issue.10, pp.1330-1342, 2004. ,
Test selection based on communicating nondeterministic finite-state machines using a generalized wp-method, IEEE Trans. Software Eng, vol.20, issue.2, pp.149-162, 1994. ,
Isabelle/HOL -A Proof Assistant for Higher-Order Logic, Lecture Notes in Computer Science, vol.2283, 2002. ,
Model-based testing for avionic systems proven benefits and further challenges, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice -8th International Symposium, vol.11247, pp.82-103, 2018. ,
Test Automation -Foundations and Applications of Model-based Testing, lecture notes, 2017. ,
Automated test case generation with SMTsolving and abstract interpretation, Nasa Formal Methods, Third International Symposium, vol.6617, pp.298-312, 2011. ,
Adaptive testing of deterministic implementations specified by nondeterministic FSMs, 7019 in Lecture Notes in Computer Science, pp.162-178, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-01583921
Testing deterministic implementations from nondeterministic FSM specifications, Testing of Communicating Systems, IFIP TC6 9th International Workshop on Testing of Communicating Systems, pp.125-141, 1996. ,
Adaptive testing of nondeterministic systems with FSM, 15th International IEEE Symposium on High-Assurance Systems Engineering, pp.224-228, 2014. ,
Isar -a versatile environment for human readable formal proof documents, 2002. ,