Applied Formal Methods Research Group

Department of Computing

School of Technology, Oxford Brookes University

Wheatley Campus, Oxford OX33 1HX, England

Links

Home Members Events Projects Publications Links

Home
Members
Events
Projects
Publications
Links

There is a great amount of information and resources about formal methods and their applications available on the Internet. A good start point to access such resources is the Web Directory: Formal Methods - WWW Virtual Library. The following are some of the research groups that have a similar or related research focus. 

bullet

http://www.cafm.sbu.ac.uk/:  Center for Applied Formal Methods at South Bank University, UK

bullet

http://lal.cs.byu.edu/:  The Laboratory for Applied Logic (LAL) of the Department of Computer Science at Brigham Young University, USA

bullet

http://shemesh.larc.nasa.gov/fm/: NASA Langley Formal Methods Team

bullethttp://zls.mimuw.edu.pl/english.html : Applied Logic Group of Institute of Informatics at Warsaw University
bullethttp://matrix.iei.pi.cnr.it/FMT/: The Formal Methods && Tools Group at CNUCE, Italy
Back to Top

Copyright (c) AFM Research Group, Department of Computing, School of Technology, Oxford Brookes University.
For problems or questions regarding this web contact Prof. Hong Zhu.
Last updated: February 27, 2007.