CAV Award
E260376
The CAV Award is a prestigious honor in computer science recognizing fundamental and influential contributions to the field of computer-aided verification.
All labels observed (1)
| Label | Occurrences |
|---|---|
| CAV Award canonical | 6 |
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
computer science award
ⓘ
research award ⓘ |
| awardedFor |
fundamental contributions to computer-aided verification
ⓘ
influential contributions to computer-aided verification ⓘ pioneering work in formal verification ⓘ sustained research contributions in verification ⓘ |
| countryOfOrigin | International ⓘ |
| discipline |
hardware verification
ⓘ
model checking ⓘ software verification ⓘ theorem proving ⓘ |
| field |
computer science
ⓘ
computer-aided verification ⓘ formal methods ⓘ |
| firstAwarded | 2008 ⓘ |
| frequency | annual ⓘ |
| hasLanguage | English ⓘ |
| hasMedium |
certificate
ⓘ
plaque ⓘ |
| hasWebsite | https://i-cav.org/cav-award/ ⓘ |
| inception | 2008 ⓘ |
| isConsidered | prestigious ⓘ |
| namedAfter | Computer Aided Verification conference ⓘ |
| notableRecipient |
Amir Pnueli
ⓘ
Doron Peled ⓘ E. Allen Emerson ⓘ Edmund M. Clarke ⓘ
surface form:
Edmund Clarke, E. Allen Emerson, and Joseph Sifakis
Edmund M. Clarke ⓘ Gerard J. Holzmann ⓘ Javier Esparza ⓘ Joseph Sifakis ⓘ Ken McMillan ⓘ Moshe Y. Vardi ⓘ Orna Grumberg ⓘ Patrice Godefroid ⓘ Rajeev Alur ⓘ Thomas A. Henzinger ⓘ |
| organizer | CAV conference steering committee ⓘ |
| presentedAt |
Computer Aided Verification conference
ⓘ
surface form:
International Conference on Computer Aided Verification
|
| relatedConference | CAV ⓘ |
| relatedField |
automated reasoning
ⓘ
formal verification ⓘ program analysis ⓘ |
| selectionMethod | committee decision ⓘ |
| sponsor | CAV community ⓘ |
| typicalEventLocation | varies by year ⓘ |
| typicalNumberOfRecipientsPerYear |
1
ⓘ
2 ⓘ |
Referenced by (6)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
Edmund M. Clarke