florianschanda's Stars
florianschanda/miss_hit
MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more
bmw-software-engineering/trlc
Treat Requirements Like Code
Spivoxity/fuzz
The fuzz typechecker for Z
florianschanda/smtlib_schanda
SMTLIB benchmarks assembled by Florian Schanda
florianschanda/PyMPF
Arbitrary precision IEEE-754 implementation in Python for generating SMTLIB float benchmarks