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
PhD positions in collaboration with the University of Trento on formal-methods-related topics
VAIPOSA Kick Off Meeting
New Software Developer Position in the Field of Formal Methods
Distinguished artifact award at TACAS conference
Open PhD Positions
