Author:
Amilon Jesper,Esen Zafer,Gurov Dilian,Lidström Christian,Rümmer Philipp
Publisher
Springer International Publishing
Reference36 articles.
1. Ahrendt W, Beckert B, Bubel R, Hähnle R, Schmitt PH, Ulbrich M (eds) (2016) Deductive software verification-the key book-from theory to practice. Lecture notes in computer science, vol 10001. Springer. https://doi.org/10.1007/978-3-319-49812-6
2. Albarghouthi A, Dillig I, Gurfinkel A (2016) Maximal specification synthesis. In: Annual symposium on principles of programming languages (POPL). https://doi.org/10.1145/2837614.2837628
3. Alshnakat A, Gurov D, Lidström C, Rümmer P (2020) Constraint-based contract inference for deductive verification. Springer International Publishing. https://doi.org/10.1007/978-3-030-64354-6_6
4. Amilon J (2021) Automated inference of ACSL function contracts using TriCera. Master’s thesis, KTH, School of Electrical Engineering and Computer Science (EECS)
5. Baudin P, Bobot F, Correnson L, Dargaye Z, Blanchard A WP Plug-in Manual–Frama-C 23.1 (Vanadium). CEA LIST. https://frama-c.com/download/frama-c-wp-manual.pdf