18 search results for "tag:"form""

Showing 1 - 18
  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 Benjamin Farinier Chakib Foulani Dorian Lesbre Frédéric Recoules et al.
    0.8.1
    LGPL-2.1-or-later
    Used by 0 other packages
    01 Nov 2023
  2. fmt
    Documentation
    OCaml Format pretty-printer combinators
    string format pretty-print org:erratique
    The fmt programmers
    0.9.0
    ISC
    Used by 339 other packages
    25 Oct 2021
  3. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    deductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Thibaut Benjamin et al.
    28.0~beta
    LGPL-2.1-only
    Used by 2 other packages
    30 Oct 2023
  4. frama-c-base
    Documentation
    Platform dedicated to the analysis of source code written in C.
    deductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Gergö Barany Patrick Baudin François Bobot Richard Bonichon et al.
    15.0
    LGPL-2.1-only
    Used by 2 other packages
    30 Oct 2018
  5. frama-c-e-acsl
    Documentation
    This package contains the Frama-C's E-ACSL plug-in.
    program verification formal specification runtime assertion checking monitoring C plugins ACSL E-ACSL
    Julien Signoles Guillaume Petiot
    0.5
    LGPL-2.1-only
    Used by 0 other packages
    28 Jul 2015
  6. 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.5
    LGPL-2.1-only
    Used by 0 other packages
    22 Nov 2023
  7. frama-clang
    Documentation
    Frama-C plug-in based on Clang for parsing C++ files
    Frama-C formal specification C++ plugins ACSL ACSL++
    David Cok Virgile Prevosto Franck Védrine
    0.0.14
    LGPL-2.1-only
    Used by 0 other packages
    06 Sep 2023
  8. http-multipart-formdata
    Documentation
    Http multipart/formdata parser
    http multipart formadata form web
    Bikal Lem, <gbikal@gmail.com>
    3.1.0
    MPL-2.0
    Used by 0 other packages
    21 Aug 2021
  9. ocamlsdl2
    Documentation
    Interface to the SDL2 library
    bindings graphics audio multimedia opengl cross-platform
    Florent Monnier Piotr Mardziel David Cadé Guillaume Munch-Maccagnoni
    0.04
    restrictionless Zlib
    Used by 2 other packages
    31 Dec 2020
  10. ocamlsdl2-image
    Documentation
    Interface to the SDL2_image library
    bindings graphics image loader multimedia cross-platform
    Florent Monnier David Cadé Piotr Mardziel
    0.01
    restrictionless Zlib
    Used by 0 other packages
    31 Dec 2020
  11. ocamlsdl2-ttf
    Documentation
    Interface to the SDL2_ttf library
    bindings graphics font ttf multimedia cross-platform
    Florent Monnier David Cadé
    0.02
    restrictionless Zlib
    Used by 0 other packages
    31 Dec 2020
  12. phylogenetics
    Documentation
    Algorithms and datastructures for phylogenetics
    bioinformatics evolution phylogeny
    Louis Duchemin Vincent Lanore Philippe Veber
    0.2.0
    CeCILL-B
    Used by 0 other packages
    15 May 2023
  13. pp-binary-ints
    Documentation
    Pretty Printing Binary Integers
    printf format boolean binary
    Ifaz Kabir
    1.0.0
    CC0-1.0
    Used by 1 other packages
    13 Jan 2022
  14. scfg
    Documentation
    OCaml library and executable to work with the scfg configuration file format
    scfg configuration format simple config parser printer
    Léo Andrès <contact@ndrs.fr>
    0.2
    ISC
    Used by 3 other packages
    23 Jan 2023
  15. 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.7.0
    LGPL-2.1-only
    Used by 6 other packages
    27 Nov 2023
  16. why3-base
    Documentation
    Why3 environment for deductive program verification (base)
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    0.88.3
    LGPL-2.1-only
    Used by 1 other packages
    12 Jan 2018
  17. 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.7.0
    LGPL-2.1-only
    Used by 0 other packages
    27 Nov 2023
  18. 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.7.0
    LGPL-2.1-only
    Used by 0 other packages
    27 Nov 2023