Aaron R. Bradley
E900197
Aaron R. Bradley is a computer scientist and author known for his work in formal methods and verification, including coauthoring the textbook "The Calculus of Computation."
All labels observed (1)
| Label | Occurrences |
|---|---|
| Aaron R. Bradley canonical | 1 |
Statements (27)
| Predicate | Object |
|---|---|
| instanceOf |
author
ⓘ
computer scientist ⓘ |
| coauthorOf | The Calculus of Computation NERFINISHED ⓘ |
| fieldOfWork |
computer science
ⓘ
formal methods ⓘ model checking ⓘ program verification ⓘ |
| genre | academic textbook ⓘ |
| hasAcademicSpecialization |
IC3 algorithm
NERFINISHED
ⓘ
SAT-based model checking ⓘ automated reasoning ⓘ decision procedures ⓘ inductive invariants ⓘ logic in computer science ⓘ safety property verification ⓘ |
| knownFor |
The Calculus of Computation
NERFINISHED
ⓘ
formal verification ⓘ |
| language | English ⓘ |
| notableWork |
The Calculus of Computation
NERFINISHED
ⓘ
research on IC3 model checking ⓘ |
| occupation |
author
ⓘ
computer scientist ⓘ university professor ⓘ |
| writesAbout |
decision procedures
ⓘ
formal verification ⓘ logic and computation ⓘ model checking ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.