Publisher
Springer Nature Switzerland
Reference20 articles.
1. Baudin, P., et al.: The dogged pursuit of bug-free C programs: the frama-C software analysis platform. Commun. ACM (2021)
2. Baudin, P., Filliâtre, J.C., Marché, C., Monate, B., Moy, Y., Prevosto, V.: ACSL: ANSI/ISO C Specification Language. Tech. rep., CEA List and Inria. https://frama-c.com/download/acsl.pdf
3. Benjamin, T., Signoles, J.: Formalizing an efficient runtime assertion checker for an arithmetic language with functions and predicates. In: Symposium on Applied Computing (2023)
4. Bertot, Y., Castéran, P.: Interactive theorem proving and program development: Coq’Art: the calculus of inductive constructions. Springer Science & Business Media (2013)
5. Blazy, S., Bühler, D., Yakobowski, B.: Structuring abstract interpreters through state and value abstractions. In: International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2017) (2017)