Home
Research
Projects
Tools
Publications
People
News and Events
Jobs and Studentships
NuGaT – Game Solver
NuGaT is a game solver built on top of the
NuSMV
model checker.
Recent Posts
VAIPOSA Kick Off Meeting
New Software Developer Position in the Field of Formal Methods
Distinguished artifact award at TACAS conference
Open PhD Positions
ExploDTwin Kick Off Meeting
