NuXMV
nuXmv is a new symbolic model checker for finite- and infinite-state synchronous transition systems.
nuXmv is the the eXtended version of NuSMV open source symbolic model checker.
For further information, please refer to the nuXmv’s web page.
Website
-
PhD Grant on Model-based system-software engineering and formal methods for space systems
-
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