A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...
A test generator application designed to create performance benchmarks for SymploeoPC
transpiler from (a subset of) python to nuXmv
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.
All the exersice from Formal Methods for Software Engineering course @ Bauhaus University Weimar
(Unofficial) Python interface to nuXmv
A small language that compiles to the nuXmv input language
Master's Thesis: Formal Modeling and Verification of a Sectional Railway Interlocking System using NUXMV Symbolic Model Checker
To associate your repository with the nuxmv topic, visit your repo's landing page and select "manage topics."