Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, vol.8, issue.2, pp.244-263, 1986. ,
DOI : 10.1145/5397.5399
Reducing state explosion with context modeling for modelchecking, 13th IEEE International High Assurance Systems. Engineering Symposium (Hase'11). Boca Raton, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00636878
The syntax and semantics of FIACRE v2, specification, 2009. ,
Verification of GALS Systems by Combining Synchronous Languages and Process Calculi, Proc. of SPIN, pp.241-260, 2009. ,
DOI : 10.1007/978-3-540-27813-9_47
URL : https://hal.archives-ouvertes.fr/inria-00388819
A Verification Approach for GALS Integration of Synchronous Components, Electronic Notes in Theoretical Computer Science, vol.146, issue.2, pp.105-131, 2006. ,
DOI : 10.1016/j.entcs.2005.05.038
Möller: On the formal verification of systems of synchronous software components, VerSyKo project, 31st International Conference on Computer Safety, Reliability and Security (SAFECOMP, MBEES), 2012. ,
The Foundations of Esterel Proofs, Languages, and Interaction, Essays in Honour of R. Milner, G. Plotkin, C. Stirling, and M. Tofteed, 2000. ,
Improving model checking with context modelling Advances in Software Engineering ID 547157 Model-checking Flight Control Systems : the Airbus experience, Bochot (Airbus), V.Wiels (ONERA), P. Virelizier, H. Waeselynck, pp.18-27, 2009. ,
From NuSMV to SPIN: Experiences with model checking flight guidance systems, Formal Methods in System Design, vol.10, issue.4, pp.199-216, 2007. ,
DOI : 10.1007/s10703-006-0027-9
Programming Real-Time Applications with SIGNAL The SPIN Model Checker: Primer and Reference Manual, Proceedings of the IEEE, vol.7915, issue.9, pp.1321-1336, 1991. ,
Contextaware Verification of a Cruise-Control System The state explosion problem, Proceedings of Model and Data Engineering 4th International Conference MEDI 2014, pp.429-528, 1998. ,
Teodorov : Vérification Formelle de Propriétés, 2014. ,