Jonathan Bowen has created a new Formal Methods Wiki under http://formalmethods.wikia.com
| About FME | Committees | Formal Methods | Events | FME Awards |
Zot, an agile metric temporal logic satisfiability checker
FME sponsored the extension of the Zot tool from Politecnico di Milano as an FME Small Project. This small project has been completed.
FME Meeting in London, 2nd April 2009
The last Annual General Meeting (AGM) of FME was held on 2 April 2009 at the BCS headquarters in London, UK.