Back to Results
First PageMeta Content
Formal methods / Model checkers / Turing Award laureates / Proof theory / Model checking / Formal verification / Temporal logic / Edmund M. Clarke / Concurrency / Logic / Theoretical computer science / Mathematics


The Birth of Model Checking Edmund M. Clarke [removed]
Add to Reading List

Document Date: 2008-03-26 08:39:11

Open Document

File Size: 544,82 KB

Share Result on Facebook
UPDATE