Release of FACPL 2.0

FACPL has been update to the version 2.0.

The language has been streamlined and additional aspects has been introduced (e.g., fulfilment strategies for obligations). All the tools have been updated and new analysis features introduced.

Check the web-application for the updated FACPL examples! Experiments with the new Eclipse plugin available at the Eclipse update site

This entry was posted in News. Bookmark the permalink.