Pinned Repositories
trlc
Treat Requirements Like Code
ada-ai
A mirror of the Ada 2012 AIs
ada-rm
The Ada Reference Manual
CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
fp_test_generator
Random floating-point testcase generator for SMT-LIB
miss_hit
MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more
PyMPF
Arbitrary precision IEEE-754 implementation in Python for generating SMTLIB float benchmarks
PyVCG
Verification Condition Generator
pzt
Python Z Tools
smtlib_schanda
SMTLIB benchmarks assembled by Florian Schanda
florianschanda's Repositories
florianschanda/miss_hit
MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more
florianschanda/smtlib_schanda
SMTLIB benchmarks assembled by Florian Schanda
florianschanda/PyMPF
Arbitrary precision IEEE-754 implementation in Python for generating SMTLIB float benchmarks
florianschanda/PyVCG
Verification Condition Generator
florianschanda/ada-ai
A mirror of the Ada 2012 AIs
florianschanda/ada-rm
The Ada Reference Manual
florianschanda/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
florianschanda/fp_test_generator
Random floating-point testcase generator for SMT-LIB
florianschanda/fptg_testsuite
FP Benchmarks randomly generated by FPTG
florianschanda/pympf.github.io
florianschanda/pzt
Python Z Tools
florianschanda/PySMT
SMT-LIB parser and translator
florianschanda/sandbox
For testing out GitHub API
florianschanda/spark2014_ca
Continous analysis for SPARK 2014 verification conditions
florianschanda/spark_2014
SPARK 2014 fork with symfpu integration
florianschanda/symfpu-1
A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
florianschanda/tldr
📚 Collaborative cheatsheets for console commands
florianschanda/trlc
Treat Requirements Like Code
florianschanda/why3
Why3 fork with symfpu integration