Tool Seminar:Simon Lecture

From Dependability


Overview | Schedule | Syllabus | 2006 Project Guidelines | Tool List | Editing Guidelines

 

 

Yuanfang Cai will be presenting her job talk as a guest lecturer for us, with a demo of Simon, a formal model and a prototype software tool.

link Her ASE paper, which emphasizes the tool.
Retrieved from "http://dependability.cs.virginia.edu/info/Tool_Seminar:Simon_Lecture"