Formal Methods Wiki
Line 1: Line 1:
 
{{VLfm}}
 
{{VLfm}}
   
<center><big>'''Formal Methods Projects'''</big>
+
<center><big>'''Formal Methods Projects'''</big></center>
</center>
 
 
__TOC__
 
__TOC__
   
Line 39: Line 38:
 
* [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 [https://forge.pallavi.be/wiki/formalmethodevidence 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://fm4industry.cetic.be 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].)

Revision as of 12:32, 29 May 2011

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.