15 search results for "tag:"program""

Showing 1 - 15
  1. binsec
    Documentation
    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 Benoit Boero Benjamin Farinier Chakib Foulani Dorian Lesbre et al.
    0.11.2
    LGPL-2.1-or-later
    Used by 0 other packages
    Added to opam-repository
  2. combic
    Documentation
    A lightweight library for combinatory logic
    topics combinatory logic functional programming lambda calculus ocaml
    zandacw
    1.0.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  3. forcamla
    Documentation
    Organize program execution via formulae
    mathematical programming formula event listeners
    Christopher Sumnicht <csumnicht@berkeley.edu>
    0.2.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  4. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    ACSL C abstract interpretation code transformation dataflow analysis deductive verification formal specification program verification runtime annotation checking static analysis
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    33.0
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  5. frama-c-metacsl
    Documentation
    MetAcsl plugin of Frama-C for writing pervasives properties
    program verification formal specification C plugins ACSL MetACSL
    Virgile Robles Téo Bernier Nikolai Kosmatov
    0.10
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  6. goblint
    Documentation
    Static analysis framework for C
    program analysis program verification static analysis abstract interpretation C data race analysis concurrency
    Simmo Saan Michael Schwarz Julian Erhard Sarah Tilscher Karoliine Holter et al.
    2.8.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  7. parsite
    Documentation
    A micro library for simple parsing combinators
    string ocaml functional-programming parsing-combinators parsing-library
    faber-1
    0.1.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  8. ppx_mixins
    Documentation
    A PPX for mixing module type signatures into a type declaration
    ppx metaprogramming
    Sacha-Élie Ayoun <sachaayoun@gmail.com>
    0.2.0
    Apache-2.0
    Used by 1 other packages
    Added to opam-repository
  9. quill
    Documentation
    Interactive REPL and markdown notebooks
    repl toplevel notebooks interactive-computing literate-programming
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 1 other packages
    Added to opam-repository
  10. relude
    Documentation
    Alternative standard library (prelude) for ReasonML
    ReasonML Melange functional programming prelude standard library
    Michael Martin Andy White John Haley
    3.0.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  11. rizzo
    Documentation
    FRP library implementation of Rizzo
    FRP space leaks time leaks signals channels functional reactive programming
    Patrick Matthiesen tjobi
    0.3.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  12. waylaunch
    Documentation
    Waylaunch is a program launcher for Wayland
    wayland program launcher sway
    Kate <kit-ty-kate@outlook.com>
    0.3.0
    GPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  13. why3
    Documentation
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.2
    LGPL-2.1-only
    Used by 8 other packages
    Added to opam-repository
  14. why3-coq
    Documentation
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.2
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  15. why3-ide
    Documentation
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.2
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository