Verification: Difference between revisions
Jump to navigation
Jump to search
| Line 17: | Line 17: | ||
[http://www.cds.caltech.edu/%7Edoyle2/wiki/images/e/e3/MCAutomata.pdf "Model Checking with Automata"] | [http://www.cds.caltech.edu/%7Edoyle2/wiki/images/e/e3/MCAutomata.pdf "Model Checking with Automata"] | ||
== Recommended Reading == | |||
Revision as of 23:27, 21 May 2008
Objectives
Current Participants:
- Vanessa D. Carson (Student, CDS)
- Andrew Lamperski (Student, CDS)
- Danielle C.Tarraf (Professor, Johns Hopkins)
Publications
Lectures
"Model Checking with Automata"