Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System.

Dmitry A. Kondratyev

Published in: Autom. Control. Comput. Sci. (2022)

Keyphrases

functional programs
symbolic execution
database languages
hardware designs
model checking
object oriented
computer programs
formal verification
artificial intelligence
automatic programming
multiscale
verification method