nusmv

Here is 1 public repository matching this topic...

leonardopicchiami / nusmv_grid_game_controller_synthesis

Formal Methods in Software Development Project 2019/2020 - Generation of a controller for a game grid with obstacle and goal cell. The controller is generated by interrogating NuSMV as a blackbox and using the output appropriately.

python controller synthesis model-checking formal-methods nusmv controller-synthesis

Updated Aug 29, 2021
Python

Improve this page

Add a description, image, and links to the nusmv topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the nusmv topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

nusmv

Here is 1 public repository matching this topic...

leonardopicchiami / nusmv_grid_game_controller_synthesis

Improve this page

Add this topic to your repo