Formally Guided Simulator's (FGS) sources and executables. This is the overall proof-of-concept software that goes along with my doctoral thesis. If you wish to run the examples given there, this is what you need.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool