There are no reviews yet. Be the first to send feedback to the community and the maintainers!
smtlib2
SMTLib2 interface implementation for Haskelllanguage-scade
A SCADE parser and pretty printer written in Haskellbdd
A shared, ordered binary decision diagram library written in Haskellllvm-ir
An LLVM IR parser for Rustvvt
The Vienna Verification Toolkitquantum-algorithm-cheatsheet
A cheatsheet for the course "Quantenalgorithmen" at TU Braunschweignbis
A SMT based LLVM code checkerbindings-llvm
A low level binding to the C++ API of LLVM for Haskellfac
The fast aiger checkergtl
The GALS Transformation Languagecontext-trainer
A tool to create context classifiers from training datacontext-common
A support library for the projects context-annotator and context-collectorlanguage-promela
A promela parser and pretty printer written in Haskelllanguage-uppaal
Parser and pretty printer for the UPPAAL languagecontext-collector
A tool to record sensor data from mobile phonesmaster-thesis
Verification of GALS Systemscontext-annotator
A GUI application to annotate large sensor data filescontext-classifier
A context-recognition application for mobile devicesmerge-headers
A program to merge conflicting C headershike
Pike in Haskelllanguage-nusmv
Haskell parser for the NuSMV input languagemodelicus
Aspect Oriented Rule Language for ModelicaLove Open Source and this site? Check out how you can help us