• OCaml logo OCaml logo
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get Started
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get started
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
test property qcheck quickcheck parallelism sequential consistency
Jan Midtgaard Olivier Nicole Nicolas Osborne Samuel Hym
0.1
BSD-2-clause
Used by 0 other packages
qcheck-multicoretests-util
Various utility functions for property-based testing of multicore programs
test property qcheck quickcheck multicore non-determinism
Jan Midtgaard Olivier Nicole Nicolas Osborne Samuel Hym
0.1
BSD-2-clause
Used by 2 other packages
qcheck-stm
State-machine testing library for sequential and parallel model-based tests
test property qcheck quickcheck state-machine testing model-based testing parallel testing
Jan Midtgaard Olivier Nicole Nicolas Osborne Samuel Hym
0.1
BSD-2-clause
Used by 1 other packages
Innovation. Community. Security.
  • About Us
  • Industrial Users
  • Academic Users
  • Why OCaml
  • Resources
  • Get Started
  • Language Docs
  • Books
  • Releases
  • Community
  • Blog
  • Jobs
  • Legal
  • Carbon Footprint
  • Governance
  • Privacy Policy
  • Code of Conduct