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