Formal Methods Wiki
m (Added category)
m (Tidying)
Line 1: Line 1:
  +
{{VLfm}}
[[Image:VL2.jpg|160x|thumb|
 
<center>
 
<small>
 
[http://www.vlib.org/ Virtual Library]
 
----
 
[[Formal Methods]]
 
</small>
 
</center>
 
]]
 
   
 
<center>
 
<center>
   
=Formal Methods Projects=
+
<big>'''Formal Methods Projects'''</big>
   
 
</center>
 
</center>
  +
  +
__TOC__
   
 
Please feel free to add formal methods projects with hyperlinks to this page. Alternatively, contact [[User:Jpbowen|Jonathan Bowen]] if you know of relevant online information not included here or would like to maintain information on a particular topic.
 
Please feel free to add formal methods projects with hyperlinks to this page. Alternatively, contact [[User:Jpbowen|Jonathan Bowen]] if you know of relevant online information not included here or would like to maintain information on a particular topic.
   
 
----
 
----
<!--
 
<center>[[Image:symbols.gif|100%px|__________]]</center>
 
-->
 
   
 
This web page contains some pointers to projects involved with formal methods which provide on-line information on the [http://www.w3.org/ World Wide Web].
 
This web page contains some pointers to projects involved with formal methods which provide on-line information on the [http://www.w3.org/ World Wide Web].
   
 
<!--
 
----
 
----
   
 
* [[#Individual projects|Individual projects]]
 
* [[#Individual projects|Individual projects]]
 
* [[#Other lists|Other lists]]
 
* [[#Other lists|Other lists]]
 
-->
 
 
----
 
----
   
Line 143: Line 135:
 
----
 
----
   
Last updated by [[Jonathan Bowen]], 12 March 2009. <br />
+
Last updated by [[Jonathan Bowen]], 18 March 2009. <br />
 
Further information for possible inclusion is welcome.
 
Further information for possible inclusion is welcome.
   
Part of the [[Virtual Library]] on the [[Formal Methods Wiki]].[[Category:Formal methods|*Projects]]
+
Part of the [[Virtual Library]] on the [[Formal Methods Wiki]].
  +
[[Category:Formal methods|*Projects]]
 
[[Category:Projects| ]]
 
[[Category:Projects| ]]
 
[[Category:Virtual Library]]
 
[[Category:Virtual Library]]

Revision as of 14:09, 18 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.