A test generator application designed to create performance benchmarks for SymploeoPC
-
Updated
Jan 24, 2024 - Java
A test generator application designed to create performance benchmarks for SymploeoPC
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.
My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker
A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
transpiler from (a subset of) python 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."