A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
A test generator application designed to create performance benchmarks for SymploeoPC
My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker
A model designed for an elevator that also checks the constraints and specifications for a finite state machine. Also contains a finite state machine for multiplication.
transpiler from (a subset of) python to nuXmv
All the exersice from Formal Methods for Software Engineering course @ Bauhaus University Weimar
A small language that compiles to the nuXmv input language
(Unofficial) Python interface to nuXmv
Add a description, image, and links to the nuxmv topic page so that developers can more easily learn about it.
To associate your repository with the nuxmv topic, visit your repo's landing page and select "manage topics."