Formal Methods Wiki
m (Protected "Projects": Excessive vandalism ([edit=autoconfirmed] (indefinite) [move=sysop] (indefinite)))
 
Line 39: Line 39:
 
* [http://cswww.essex.ac.uk/Research/FSS/projects/c-z.html Constructive Z] project.
 
* [http://cswww.essex.ac.uk/Research/FSS/projects/c-z.html Constructive Z] project.
 
* [http://coq.inria.fr/ Coq project] on ''Software specifications and proofs''. See also [http://www.inria.fr/Equipes/COQ-eng.html here].
 
* [http://coq.inria.fr/ Coq project] on ''Software specifications and proofs''. See also [http://www.inria.fr/Equipes/COQ-eng.html here].
* [http://www.deploy-project.eu/ DEPLOY project] on the Industrial deployment of system engineering methods providing high dependability and productivity. See also the [http://fm4industry.cetic.be FAQ on evidence about the use and the impact of formal engineering methods in Industry]
+
* [http://www.deploy-project.eu/ DEPLOY project] on the Industrial deployment of system engineering methods providing high dependability and productivity. See also the [http://www.fm4industry.org FAQ on evidence about the use and the impact of formal engineering methods in Industry]
 
* [http://www.irisa.fr/ep-atr/welcome.english.html EP-ATR Project], IRISA, France. Design of embedded applications based on a synchronous computation model.
 
* [http://www.irisa.fr/ep-atr/welcome.english.html EP-ATR Project], IRISA, France. Design of embedded applications based on a synchronous computation model.
 
* [http://www.first.gmd.de/org/espres.html ESPRESS project], Engineering of safety-critical embedded systems, Germany. (See also [http://www.first.gmd.de/~espress/ here].)
 
* [http://www.first.gmd.de/org/espres.html ESPRESS project], Engineering of safety-critical embedded systems, Germany. (See also [http://www.first.gmd.de/~espress/ here].)

Latest revision as of 16:33, 18 March 2012

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.