2014 CAV award announcement
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 concurre...
Main Authors: | , , , |
---|---|
Format: | Journal article |
Published: |
Springer
2016
|
_version_ | 1797086678793322496 |
---|---|
author | Kwiatkowska, M Vardi, M Bouajjani, A Ball, T |
author_facet | Kwiatkowska, M Vardi, M Bouajjani, A Ball, T |
author_sort | Kwiatkowska, M |
collection | OXFORD |
description | 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. |
first_indexed | 2024-03-07T02:25:22Z |
format | Journal article |
id | oxford-uuid:a5655fa7-665b-42ee-a004-441a4733f4b0 |
institution | University of Oxford |
last_indexed | 2024-03-07T02:25:22Z |
publishDate | 2016 |
publisher | Springer |
record_format | dspace |
spelling | oxford-uuid:a5655fa7-665b-42ee-a004-441a4733f4b02022-03-27T02:40:14Z2014 CAV award announcementJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:a5655fa7-665b-42ee-a004-441a4733f4b0Symplectic Elements at OxfordSpringer2016Kwiatkowska, MVardi, MBouajjani, ABall, TThe 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. |
spellingShingle | Kwiatkowska, M Vardi, M Bouajjani, A Ball, T 2014 CAV award announcement |
title | 2014 CAV award announcement |
title_full | 2014 CAV award announcement |
title_fullStr | 2014 CAV award announcement |
title_full_unstemmed | 2014 CAV award announcement |
title_short | 2014 CAV award announcement |
title_sort | 2014 cav award announcement |
work_keys_str_mv | AT kwiatkowskam 2014cavawardannouncement AT vardim 2014cavawardannouncement AT bouajjania 2014cavawardannouncement AT ballt 2014cavawardannouncement |