SCADE Suite -Esterel Technologies Home Page ,
The MathWorks Home Page ,
The Argosim Home Page ,
it Principles of model checking, 2008. ,
Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, 1986. ,
UPPAAL in a nutshell, Journal of Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997. ,
Spacecraft early design validation using formal methods, Reliability Engineering & System Safety, vol.132, pp.20-35, 2014. ,
Proving the shalls: Early validation of requirements through formal methods, Journal of Software Tools for Technology Transfer, vol.8, issue.4, pp.303-319, 2006. ,
Synchronous observers and the verification of reactive systems, Proceedings 26 of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology, AMAST'93, pp.83-96, 1994. ,