Author:
Védrine Franck,Piriou Pierre-Yves,David Vincent
Publisher
Springer International Publishing
Reference21 articles.
1. Barrett CW, Conway CL, Deters M, Hadarean L, Jovanovic D, King T, Reynolds A, Tinelli C (2011) CVC4. In: Gopalakrishnan G, Qadeer S (eds) Computer aided verification—23rd international conference, CAV 2011, Snowbird, UT, USA, July 14–20, 2011. proceedings, LNCS, vol 6806, pp 171–177. Springer. https://doi.org/10.1007/978-3-642-22110-1_14
2. Baudin P, Filliâtre JC, Marché C, Monate B, Moy Y, Prevosto V ACSL: ANSI/ISO C specification language. http://frama-c.com/acsl.html
3. Blazy S, Bühler D, Yakobowski B (2017) Structuring abstract interpreters through state and value abstractions. In: International conference on verification, model checking, and abstract interpretation (VMCAI). https://doi.org/10.1007/978-3-319-52234-0_7
4. Conchon S, Coquereau A, Iguernlala M, Mebsout AM (2018) Alt-Ergo 2.2. In: International workshop on satisfiability modulo theories, Oxford, United Kingdom
5. Delmas D, Goubault E, Putot S, Souyris J, Tekkal K, Védrine F (2009) Towards an industrial use of FLUCTUAT on safety-critical avionics software. In: Formal methods for industrial critical systems, FMICS. https://doi.org/10.1007/978-3-642-04570-7_6