Journal article icon

Journal article

Parallel assignments in software model checking

Abstract:

In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations. We begin with an introduction to modern software verification systems. Specifically, we review the method in which software abstractions are built using counterexample-guided abstraction refinement (CEGAR). The classical NP-complete parallel assignment problem is first posed, and then an additional restriction is added to create a specia...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1016/j.entcs.2006.01.024

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Journal:
Electronic Notes in Theoretical Computer Science More from this journal
Volume:
157
Issue:
1
Pages:
77–94
Publication date:
2006-05-11
DOI:
ISSN:
1571-0661
Language:
English
Keywords:
Subjects:
UUID:
uuid:6c0d088e-8ccb-432a-a25f-b56b053dcdf3
Local pid:
ora:10704
Deposit date:
2015-03-24

Terms of use


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