AF3 version 2.7 has been released!

20. Februar 2015

AF3 version 2.7 has been released!

We are proud to announce the release of AF3 version 2.7!

This release includes several improvements, the most prominent ones being the introductions of annotation views and safety cases. Furthermore, some long-awaited user-friendliness support features have been implemented like the "rename" refactoring which allows to rename a type or function and all its occurrences.

In addition all the features that make the strength of AF3 (requirement engineering, design space exploration, testing, formal analyses, refinement, etc.) have been improved in various directions.

The AF3 development team


Vincent Aravantinos