martin-cs

Pinned Repositories

cbmc
C Bounded Model Checker
Language:C++01
cvc5
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Language:SMT00
cvc5.github.io
Language:JavaScript0 0 00
demo-session
00
gitIntro
An introductory repository for a personal tutorial
1 2 02
gnat2goto
GNAT 2 GOTO Converter
Language:Ada00
java-test
A java test repo
Language:Java00
martin-cs.github.io
A blog, of sorts.
00
SATABS
Archive to the SATABS predicate abstraction model checker
Language:C2 3 02
symfpu
A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
Language:C++38 5 520

martin-cs's Repositories

martin-cs/symfpu
A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
Language:C++38 5 520
martin-cs/SATABS
Archive to the SATABS predicate abstraction model checker
Language:C2 3 02
martin-cs/gitIntro
An introductory repository for a personal tutorial
1 2 02
martin-cs/cbmc
C Bounded Model Checker
Language:C++01
martin-cs/cvc5
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Language:SMT00
martin-cs/cvc5.github.io
Language:JavaScript0 0 00
martin-cs/demo-session
00
martin-cs/gnat2goto
GNAT 2 GOTO Converter
Language:Ada00
martin-cs/java-test
A java test repo
Language:Java00
martin-cs/martin-cs.github.io
A blog, of sorts.
00
martin-cs/SPARK-tetris
Language:Ada0 2 01
martin-cs/spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Language:Ada00
martin-cs/Tokeneer
Language:HTML2 01
martin-cs/UKNI-Information-Barrier
Language:Ada3