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...
| Váldodahkkit: | , , , |
|---|---|
| Eará dahkkit: | |
| Materiálatiipa: | Conference item |
| Almmustuhtton: |
Springer Verlag
2016
|