Download AutoFOCUS

AutoFOCUS an open-source (Contribute!) software developed under the Apache license: www.apache.org/licenses/LICENSE-2.0.

Official release

On Windows, if you do not which one to choose between the 32 and 64 bits version, try both!

AF3 Phoenix 2.9 Release (Release notes) (17.02.2016) - Requires Java 8.


AF3 2.x, Nightly Build. - Requires Java 8.

AF3 Phoenix 2.8 Release - If you only have Java 7.


Other Distributions

AF3-OCRA (based on AF3 2.6 Release),  27.08.2014


Integrates the OCRA tool into AF3 Phoenix. OCRA is a contract-based composition paradigm added to AF3 by FBK providing functionalities for editing, refining and checking contracts.

External Tools

nuXmv

   Download: nuxmv.fbk.eu

   Installation hints:

  • Make sure that nuXmv is "on the path":

    1. In Windows’ Control Panel go to System – Advanced System Settings (on the right of the window)
    2. In the System Properties box select the “Advanced” tab and then “Environment Variables”
    3. Look for the “Path” variable and extend its value by appending ";" followed by the directory of the nuXmv executable (e.g., “your–nuXmv–install–path\nuxmv-1.0-windows\nuXmv\bin” at the time of the writing).

  • To test that nuXmv is correctly installed and that AF3 correctly recognizes it, just press the "NuSMV/nuXmv Version" button from the "Semantic Inspector" View

NuSMV

   If nuXmv does not work for some reason, you can try to work with its predecessor NuSMV instead. Download: nusmv.fbk.eu/NuSMV/download/getting-v2.html

   Installation hints:

  • Make sure that NuSMV is "on the path":

    1. In Windows’ Control Panel go to System – Advanced System Settings (on the right of the window)
    2. In the System Properties box select the “Advanced” tab and then “Environment Variables”
    3. Look for the “Path” variable and extend its value by appending ";" followed by the directory of the NuSMV executable (e.g., “your–NuSMV–install–path\NuSMV-2.6.0-win64\bin” at the time of the writing).

  • To test that NuSMV is correctly installed and that AF3 correctly recognizes it, just press the "NuSMV/nuXmv Version" button from the "Semantic Inspector" View

Z3

   Installation hints:

  • Make sure that Z3 is "on the path":

    1. In Windows’ Control Panel go to System – Advanced System Settings (on the right of the window)
    2. In the System Properties box select the “Advanced” tab and then “Environment Variables”
    3. Look for the “Path” variable and extend its value by appending ";" the directory of the z3 executable (e.g., “your–z3–install–path\z3-4.4.1-x64-win\bin” at the time of the writing).

  • To test that Z3 is correctly installed and that AF3 correctly recognizes it, just press the "Z3 Version" button from the "Non-determinism Analyzes" View