Journal article icon

Journal article

2014 CAV award announcement

Abstract:
The 2014 CAV (Computer-Aided Verification) Award was presented on July 19, 2014, at the 26th annual CAV conference in Vienna to Patrice Godefroid, Doron Peled, Antti Valmari, and Pierre Wolper for the development of partial-order-reduction algorithms for efficient state-space exploration of concurrent systems.
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted manuscript

Actions


Access Document


Files:
Publisher copy:
10.1007/s10703-016-0244-9

Authors


More by this author
Department:
Trinity College
Bouajjani, A More by this author
Publisher:
Springer Publisher's website
Journal:
Formal Methods in System Design Journal website
Volume:
48
Issue:
3
Pages:
149-151
Publication date:
2016-04-05
Acceptance date:
2016-03-15
DOI:
EISSN:
1572-8102
ISSN:
0925-9856
Pubs id:
pubs:618380
URN:
uri:a5655fa7-665b-42ee-a004-441a4733f4b0
UUID:
uuid:a5655fa7-665b-42ee-a004-441a4733f4b0
Local pid:
pubs:618380

Terms of use


Metrics



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

TO TOP