You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This is the second lab of the course DD2372 Automata and Languages at KTH. This project checks the flow graph of a program against a given specification.
DD2372 Lab 2 Model Checking with flow graphs and DFA specifications
How It Works
The program checks for a given flow graph and a DFA specification if the flow graph suits to the specifications declared in DFA.
If the given flow graph does not comply with the specifications, a counter example is shown to the user.
About
This is the second lab of the course DD2372 Automata and Languages at KTH. This project checks the flow graph of a program against a given specification.