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 …

The development of Symbiotic 9 focused mainly on two components. One is the symbolic
executor Slowbeast, which newly supports backward symbolic execution including its …

Software verifiers have different strengths and weaknesses, depending on properties of the
verification task. It is well-known that combinations of verifiers via portfolio and selection …

Although existing techniques have proposed automated approaches to alleviate the path
explosion problem of symbolic execution, users still need to optimize symbolic execution by …

Bounded model checking (BMC) and fuzzing techniques are among the most effective
methods for detecting errors and security vulnerabilities in software. However, there are still …

Masking is a widely-used effective countermeasure against power side-channel attacks for
implementing cryptographic algorithms. Surprisingly, few formal verification techniques have …

Software verification allows one to examine the reliability of software. Thereby, analyses
exchange information to become more effective, more efficient, or to eliminate false results …

It is important that the programmed logic controller (PLC), the heart of industrial control
systems (ICS), is formally verified to ensure that its safety and security requirements are met …

Debugging software code has been a challenge for software developers since the early
days of computer programming. A simple need, because the world is run by software. So …

We introduce new algorithms for computing non-termination sensitive control dependence
(NTSCD) and decisive order dependence (DOD). These relations on vertices of a control …