SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements, 2017. ,
DOI : 10.1016/0167-6423(95)96871-J
The B-book : assigning programs to meanings, 1996. ,
DOI : 10.1017/CBO9780511624162
LUSTRE: a declarative language for real-time programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, pp.178-188, 1987. ,
DOI : 10.1145/41625.41641
CoCoSpec: A Mode-Aware Contract Language for Reactive Systems, SEFM 2016, pp.978-981 ,
DOI : 10.1109/2.161279
The Kind 2 Model Checker, CAV 2016, pp.510-517978, 2016. ,
DOI : 10.1007/s10703-012-0163-3
Industrial Experience with SPARK Ada Letters XX, 2000. ,
DOI : 10.1145/369264.369270
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic, Logic of Programs Workshop, 1982. ,
Formal Methods Case Studies for DO-333, 2014. ,
Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977. ,
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-01108790
The JKind Model Checker, 2018. ,
The Science of Programming, 1987. ,
DOI : 10.1007/978-1-4612-5983-1
Generalized Property Directed Reachability, Proceedings of SDAT'12 (SAT'12, pp.157-171978, 2012. ,
DOI : 10.1007/978-3-642-31612-8_13
URL : http://research.microsoft.com/en-us/people/nbjorner/z3pdr.pdf
Incremental Verification with Mode Variable Invariants in State Machines, Proceedings of the 4th International Conference on NASA Formal Methods (NFM'12, pp.388-402, 2012. ,
DOI : 10.1007/978-3-642-28891-3_35
URL : http://homepage.cs.uiowa.edu/%7Etinelli/papers/KahEtAl-NFM-12.pdf
Frama-C: A software analysis perspective, Formal Aspects of Computing, vol.12, issue.1???2, pp.165-179, 2015. ,
DOI : 10.1007/11408901_21
Common Weakness Enumeration (CWE) Status Update, Ada Letters XXVIII, vol.1, pp.88-91, 2008. ,
Testing or Formal Verification: DO-178C Alternatives and Industrial Experience, IEEE Software, vol.30, issue.3, 2013. ,
DOI : 10.1109/MS.2013.43
Specification and verification of concurrent systems in CESAR, International Symposium on Programming, 1982. ,
DOI : 10.1007/3-540-11494-7_22
Model checking C source code for embedded systems, International Journal on Software Tools for Technology Transfer, vol.25, issue.2???3, pp.187-202, 2009. ,
DOI : 10.1007/978-3-662-04558-9
The CERT C Secure Coding Standard, 2008. ,
Proof of Properties in Avionics, Building the Information Society, IFIP 18th World Computer Congress, 2004. ,
DOI : 10.1007/978-1-4020-8157-6_48