Formal Methods Europe

Homepage of FME

Zot, an agile metric temporal logic satisfiability checker

By Bernhard Aichernig • Mar 26th, 2009 • Category: Sponsored by FME

FME sponsored the extension of the Zot tool from Politecnico di Milano as an FME Small Project. This small project has been completed. Find below the progress report including relevant references:

Zot FME small project progress report, Angelo Morzenti, July 2008.

Angelo gave also a presentation at the Pisa meeting. Here are his slides:

Report on the FME Small Project “Zot, an agile metric temporal logic satisfiability checker” FME Meeting in Pisa, Italy, October 10, 2008.

Comments are closed.