FAQ
FAQs on AutoFOCUS
What can I do if my model does not open any more?
When the meta model of AutoFOCUS changes, models cannot be opened any more.
We try to avoid this, but especially in non-release versions this sometimes is inevitable.
Two solutions are possible:
1. you can send us your model, and we will fix it.
2. open the model file from your workspace and edit it. Search for the term given in the error message.
Compare the element containing the term with a newly created element to find the new name or structure of the model elements.
How can I connect states of the state automaton or ports of two components?
Please press "ALT" while connecting two states or ports holding the mouse on left-click.
How can I add new elements to a diagram?
There are two possibilities: either right-click in the model navigator and select the element from the context menu, or choose them from the model elements list.
FAQs on NuSMV
When running NuSMV under Unix, it returns "Segmentation fault". What can I do?
Please increase the stack limit before you launch AF3 by setting "ulimit -S -s unlimited".