Program Verification
VerifyThis 2018: A Program Verification Competition
8
A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification
28
CPBPV: a constraint-programming framework for bounded program verification
30
Deductive program verification for a language with a Rust-like typing discipline
35
CPBVP: A Constraint-Programming Framework for Bounded Program Verification
16
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification
22
A Generalized Program Verification Workflow Based on Loop Elimination and SA Form
11
The Why/Krakatoa/Caduceus platform for deductive program verification
6
Data Abstraction: A General Framework to Handle Program Verification of Data Structures
33
Certification of a Tool Chain for Deductive Program Verification
144
Automating modular program verification by refining specifications
211
A Synchronous Approach to Threaded Program Verification
35
Work on VecGeom Benchmark program
19
Lyee Program Execution Patterns
14
(WD-708) Program Budget
17
DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification
23
Unsupervised TV program structuring
194
Building confidence on formal verification models
3
Advanced Television Research Program
8
Symbolic Verification with Periodic Sets
14