Methods for deductive verification of c code using astraver toolset

DOI10.17223/2226308X/15/21MaRDI QIDQ6898691zbMATH OpenFDO

Authors A. O. Kokorin, S. D. Tievskiĭ, P. N. Devyanin

Publication date 17 November 2025

Published in Prikladnaya Diskretnaya Matematika. Supplement (Search for Journal in Brave)

Full work available at URL https://doi.org/10.17223/2226308X/15/21

zbMATH Keywords

ACSLAstra LinuxAstraver toolsetdeductive software verificationFrama-C

Mathematics Subject Classification ID

Computer science (68-XX) Information and communication theory, circuits (94-XX)

Cites work

• Why3 -- where programs meet provers

This page was built for publication: Methods for deductive verification of c code using astraver toolset

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6898691)