GitHub - paulosalem/FGS: 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.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
dist		dist
src/simulator		src/simulator
README.md		README.md
thesis_software_executables_distribution_29-03-2013.zip		thesis_software_executables_distribution_29-03-2013.zip

Repository files navigation

This preview took too long to generate.

But you can view the raw file.

About

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.

Readme

Activity

1 star

1 watching

0 forks

Report repository

Navigation Menu

Repository files navigation

About

Releases

Packages

Contributors

Languages

Folders and files

Latest commit

History

Repository files navigation

About

Resources

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages