Search form
Search
Research
Projects
Tools
Publications
People
News and events
Jobs
You are here
Home
»
Tools
» NUGAT - Game Solver
NUGAT - Game Solver
NuGaT is a game solver built on top of the
NuSMV
model checker.