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
nuXmv-2.2.0
Open Postdoc 2026 Positions
Two PhD positions available in collaboration with the University of Trento on formal-methods-related topics
New project with RFI: ACC3-OPERA
PhD positions in collaboration with the University of Trento on formal-methods-related topics (2nd call)
