Software verification: 10th comparative evaluation (SV-COMP 2021)
D Beyer - Tools and Algorithms for the Construction and Analysis …, 2021 - Springer
SV-COMP 2021 is the 10th edition of the Competition on Software Verification (SV-COMP),
which is an annual comparative evaluation of fully automatic software verifiers for C and …
which is an annual comparative evaluation of fully automatic software verifiers for C and …
Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)
Gazer-Theta is a software model checking toolchain including various analyses for state
reachability. The frontend, namely Gazer, supports C programs through an LLVM-based …
reachability. The frontend, namely Gazer, supports C programs through an LLVM-based …
Effective Domain-Specific Formal Verification Techniques
Á Hajdu - 2020 - search.proquest.com
Formal verification techniques allow rigorous reasoning about the operation of computer
systems and programs. With a sound and complete mathematical basis, it is both possible to …
systems and programs. With a sound and complete mathematical basis, it is both possible to …