The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, pp.1270-1282, 1991. ,
DOI : 10.1109/5.97297
URL : https://hal.archives-ouvertes.fr/inria-00075115
NUSMV: a new symbolic model checker, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.4, pp.410-425, 2000. ,
DOI : 10.1007/s100090050046
Using Formal Methods in a Retrospective Safety Case, Computer Safety, Reliability, and Security ? 23rd International Conference, 2004. ,
DOI : 10.1007/978-3-540-30138-7_4
Use of Domain Theories in Applied Formal Methods, 2006. ,
The Propositional Formula Checker HeerHugo, Centre for Mathematics and Computer Science (CWI), 1999. ,
The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991. ,
DOI : 10.1109/5.97300
Towards an Integrated Model Checker for Railway Signalling Data, FME'2002: Formal Methods ? Getting IT Right, pp.204-223, 2002. ,
DOI : 10.1007/3-540-45614-7_12
Alloy: a lightweight object modelling notation, ACM Transactions on Software Engineering and Methodology, vol.11, issue.2, pp.256-290, 2002. ,
DOI : 10.1145/505145.505149
Chaff, Proceedings of the 38th conference on Design automation , DAC '01, pp.530-535, 2001. ,
DOI : 10.1145/378239.379017
A Tutorial on St??lmarck???s Proof Procedure for Propositional Logic, Proc. 2nd Intl. Conf. on Formal Methods in Computer- Aided Design, FMCAD'98, pp.82-99, 1998. ,
DOI : 10.1007/3-540-49519-3_7
The theoretical foundations of LPTP (a logic program theorem prover), The Journal of Logic Programming, pp.241-269, 1998. ,
DOI : 10.1016/S0743-1066(97)10013-9