4 Search Results
binsec
Semantic analysis of binary executables
binary code analysis
symbolic execution
deductive
program verification
formal specification
automated theorem prover
plugins
abstract interpretation
dataflow analysis
linking
disassembly
Adel Djoudi
Benjamin Farinier
Chakib Foulani
Dorian Lesbre
Frédéric Recoules
Guillaume Girol
Josselin Feist
Lesly-Ann Daniel
Manh-Dung Nguyen
Mathéo Vergnolle
Mathilde Ollivier
Matthieu Lemerre
Olivier Nicole
Richard Bonichon
Robin David
Sébastien Bardin
Soline Ducousso
Ta Thanh Dinh
Yaëlle Vinçont
0.6.3
LGPL-2.1-or-later
Used by 0 other packages
qcheck-lin
A multicore testing library for OCaml
qcheck-multicoretests-util
Various utility functions for property-based testing of multicore programs
qcheck-stm
State-machine testing library for sequential and parallel model-based tests