28
Feb

Version 2.11 released!

We are proud to announce the release of AF3 version 2.11, downloadable at http://af3.fortiss.org/download/ ! This release includes reworked model analyses making formal verification an on-the-fly process. Many technical...
More details >

05
Sep

Follow AutoFocus3 on Twitter!

https://twitter.com/autofocus3_team
More details >

29
Aug

Version 2.10 released!

We are proud to announce the release of AF3 version 2.10, downloadable at http://af3.fortiss.org/download/ ! This release includes the new DSE perspective making the DSE process easier. Many technical improvements and bug...
More details >

07
Jun

New tutorials

The tutorial about the traffic light example has been updated and a new tutorial dealing with a car cruise control system has been added. Go check them out in the Docs section!
More details >

10
Feb

Version 2.9 released!

AF3 version 2.9 has been released.
More details >

19
Oct

AF3 Paper presented at ACES-MB 2015 (MODELS Workshop)

Sebastian Voss presented the paper "AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems" at ACES-MB 2015 (MODELS Workshop) in Ottawa on September 28th. You can download the paper in...
More details >

25
Aug

New version released!

AF3 version 2.8 has been released. We are proud to announce the release of AF3 version 2.8! This release includes several long-awaited GUI improvements (e.g., zoom in simulation, multi-line text fields, improved copy-pasting,...
More details >

Displaying results ###SPAN_BEGIN###%s to %s out of ###SPAN_BEGIN###%s
<< First < Previous 1-7 8-11 Next > Last >>