Danger invariants
<p>Static analysers search for overapproximating proofs of safety commonly known as <i>safety invariants</i>. Conversely, static bug finders (e.g. Bounded Model Checking) give evidence for the failure of an assertion in the form of a <i>counterexample trace</i>. As opp...
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Conference item |
| Published: |
Springer Verlag
2016
|