Pinned Repositories
chibicc
CUT-workshop
Feb 2020 workshop at CUT in Bloemfontein, South Africa
lock-model
Model locks with thread priority from RTEMS
mmsd-students
Student projects for KTH Master's students visiting the ERATO-MMSD center
modbat
Modbat is a model-based API tester for stateful systems.
nordic-rse.github.io
The community of Research Software Engineers in Nordic countries.
sasuf-workshop-2019
Workshop "Making systems trustworthy by model checking and symbolic execution"
sv-benchmarks
Collection of Verification Tasks
jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
cyrille-artho's Repositories
cyrille-artho/modbat
Modbat is a model-based API tester for stateful systems.
cyrille-artho/lock-model
Model locks with thread priority from RTEMS
cyrille-artho/chibicc
cyrille-artho/CUT-workshop
Feb 2020 workshop at CUT in Bloemfontein, South Africa
cyrille-artho/mmsd-students
Student projects for KTH Master's students visiting the ERATO-MMSD center
cyrille-artho/nordic-rse.github.io
The community of Research Software Engineers in Nordic countries.
cyrille-artho/sasuf-workshop-2019
Workshop "Making systems trustworthy by model checking and symbolic execution"
cyrille-artho/sv-benchmarks
Collection of Verification Tasks