Conference item icon

Conference item

Danger invariants

Abstract:

Static analysers search for overapproximating proofs of safety commonly known as safety invariants. Conversely, static bug finders (e.g. Bounded Model Checking) give evidence for the failure of an assertion in the form of a counterexample trace. As opposed to safety invariants, the size of a counterexample is dependent on the depth of the bug, i.e., the length of the execution trace prior to the error state, which also determines the computational effort required to f...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted manuscript

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-319-48989-6_12

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Role:
Author

Contributors

Role:
Editor
Role:
Editor
Role:
Editor
Role:
Editor
Publisher:
Springer Verlag (Germany) Publisher's website
Pages:
182-198
Series:
Lecture Notes in Computer Science
Publication date:
2016-01-01
Acceptance date:
2016-08-08
DOI:
EISBN:
9783319489896
ISSN:
0302-9743
Pubs id:
pubs:832753
URN:
uri:784f5715-195d-407e-bb9e-06ef19ba6932
UUID:
uuid:784f5715-195d-407e-bb9e-06ef19ba6932
Local pid:
pubs:832753
ISBN:
9783319489889

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP