nuxmv

There are 11 repositories under nuxmv topic.

se-buw/fm-playground
A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
Language:TypeScript8 2 72
Smart-Contract-Modelling-uOttawa/Symboleo-Model-Checker-Test-Generator
A test generator application designed to create performance benchmarks for SymploeoPC
Language:Java5 4 30
felixlinker/ifc-rv-thesis
My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker
Language:TeX4 1 00
adishreea/Elevator-Model-Checking-using-nuXmv
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.
3 1 00
mattyonweb/pynuxmv
transpiler from (a subset of) python to nuXmv
Language:Python3 2 00
saveripal/model-checking-autonomous-car
Language:PLSQL2 1 00
ArthurSudbrackIbarra/Trab2-Metodos-Formais
Trabalho 2 de Métodos Formais.
1 2 0
felixlinker/smvtrcviz
Transform XML traces generated by nuXmv or NuSMV into a html table
Language:Clojure1 1 00
fm4se/exercises
All the exersice from Formal Methods for Software Engineering course @ Bauhaus University Weimar
0 1 00
lou1306/pyxmv
(Unofficial) Python interface to nuXmv
Language:Python0 1 00
mfrankiewicz/agh-model-checking
Language:Roff0 1 00