4 search results for "author:"Olivier Nicole""
Showing 1 - 4
-
Semantic analysis of binary executables0.9.1LGPL-2.1-or-laterUsed by 0 other packages21 May 2024
-
A multicore testing library for OCaml0.4BSD-2-clauseUsed by 0 other packages17 Sep 2024
-
Various utility functions for property-based testing of multicore programs0.4BSD-2-clauseUsed by 8 other packages17 Sep 2024
-
State-machine testing library for sequential and parallel model-based tests0.4BSD-2-clauseUsed by 9 other packages17 Sep 2024