4 search results for "author:"Olivier Nicole""
Showing 1 - 4
Semantic analysis of binary executablesbinary code analysis symbolic execution deductive program verification formal specification automated theorem prover plugins abstract interpretation dataflow analysis linking disassembly0.8.1LGPL-2.1-or-laterUsed by 0 other packages01 Nov 2023
A multicore testing library for OCaml0.3BSD-2-clauseUsed by 0 other packages11 Oct 2023
Various utility functions for property-based testing of multicore programs0.3BSD-2-clauseUsed by 4 other packages11 Oct 2023
State-machine testing library for sequential and parallel model-based tests0.3BSD-2-clauseUsed by 5 other packages11 Oct 2023