Version 2.11 released!

28. February 2017

We are proud to announce the release of AF3 version 2.11, downloadable at af3.fortiss.org/download/ !


This release includes reworked model analyses making formal verification an on-the-fly process. Many technical improvements and bug fixes have been implemented e.g.,
back button to go back to the last editor, export to FMU and improved documentation and tutorials.

We hope, that you will enjoy AF3 2.11! Florian Hölzl and Johannes Eder on behalf of the AF3 development team