Software Verification with PDR: An Implementation of the State of the Art (Q5039500)
From MaRDI portal
scientific article; zbMATH DE number 7600810
Language | Label | Description | Also known as |
---|---|---|---|
English | Software Verification with PDR: An Implementation of the State of the Art |
scientific article; zbMATH DE number 7600810 |
Statements
Software Verification with PDR: An Implementation of the State of the Art (English)
0 references
13 October 2022
0 references
software verification
0 references
program analysis
0 references
invariant generation
0 references
property-directed reachability (PDR)
0 references
IC3
0 references
\(k\)-induction
0 references
VVT
0 references
CPAchecker
0 references