Formal Methods Wiki
m (Tidying)
m (→‎Individual projects: KeYmaera add)
Line 67: Line 67:
 
* [http://www.cl.cam.ac.uk/Research/HVG/Isabelle/projects.html Isabelle projects].
 
* [http://www.cl.cam.ac.uk/Research/HVG/Isabelle/projects.html Isabelle projects].
 
* [http://i12www.ira.uka.de/~key/ KeY project]<nowiki>: Integrated Deductive Software Design. </nowiki>
 
* [http://i12www.ira.uka.de/~key/ KeY project]<nowiki>: Integrated Deductive Software Design. </nowiki>
  +
* [http://symbolaris.com/info/KeYmaera.html KeYmaera project]<nowiki>: Hybrid Systems Design and Verification. </nowiki>
 
* [http://www.informatik.uni-bremen.de/~inform/forschung/korso/korso.html KORSO project] (1991–1994) on correct software (Germany).
 
* [http://www.informatik.uni-bremen.de/~inform/forschung/korso/korso.html KORSO project] (1991–1994) on correct software (Germany).
 
* [http://www.research.digital.com/SRC/tla/logic-calculators.html Logic Calculator Project].
 
* [http://www.research.digital.com/SRC/tla/logic-calculators.html Logic Calculator Project].

Revision as of 13:24, 26 March 2009

Virtual Library
Computing
Software engineering
Formal methods

Formal Methods Projects

Please feel free to add formal methods projects with hyperlinks to this page. Alternatively, contact Jonathan Bowen if you know of relevant online information not included here or would like to maintain information on a particular topic.


This web page contains some pointers to projects involved with formal methods which provide on-line information on the World Wide Web.


Individual projects

Other lists


Last updated by Jonathan Bowen, 18 March 2009.
Further information for possible inclusion is welcome.

Part of the Virtual Library on the Formal Methods Wiki.