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

Actions

Email

Email this record

Send the bibliographic details of this record to your email address.

Your Email
Please enter the email address that the record information will be sent to.

-
Your message (optional)
Please add any additional information to be included within the email.
Share
Cite

Cite this record

APA Style

Kwiatkowska, M., Vardi, M., Bouajjani, A., & Ball, T. (2016). 2014 CAV award announcement. Formal Methods in System Design, 48(3), 149–151.

MLA Style

Kwiatkowska, M, et al. “2014 CAV Award Announcement.” Formal Methods in System Design, vol. 48, no. 3, 2016, pp. 149–51.

Chicago Style

Kwiatkowska, M, M Vardi, A Bouajjani, and T Ball. 2016. “2014 CAV Award Announcement.” Formal Methods in System Design 48 (3): 149–51.
Print

Access Document

Files:: Kwiatkowska et al, 2014 CAV award announcement.pdf

(Preview, Accepted manuscript, pdf, 85.1KB, Terms of use)

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

Authors

+ Kwiatkowska, M More by this author

Institution:: University of Oxford
Oxford college:: Trinity College
Role:: Author

+ Vardi, M More by this author

Role:: Author

+ Bouajjani, A More by this author

Role:: Author

+ Ball, T More by this author

Role:: Author

Publisher:: Springer
Journal:: Formal Methods in System Design More from this journal
Volume:: 48
Issue:: 3
Pages:: 149-151
Publication date:: 2016-04-01
Acceptance date:: 2016-03-15
DOI:: 10.1007/s10703-016-0244-9
EISSN:: 1572-8102
ISSN:: 0925-9856

Keywords:: Concurrency

Model checking

Partial order reduction

CAV award

Computer-aided verification
Pubs id:: pubs:618380
UUID:: uuid:a5655fa7-665b-42ee-a004-441a4733f4b0
Local pid:: pubs:618380
Source identifiers:: 618380
Deposit date:: 2017-07-07
ARK identifier:: ark:/29072/ora_a5655fa7665b42eea004441a4733f4b0

Terms of use

Copyright holder:: Springer Science+Business Media New York
Copyright date:: 2016
Notes:: © Springer Science+Business Media New York 2016

Licence:: Terms and Conditions of Use for Oxford University Research Archive

Views and Downloads

About 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