OCaml logo
8 Search Results
frama-c
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 Allan Blanchard Lionel Blatter François Bobot Richard Bonichon Quentin Bouillaguet David Bühler Zakaria Chihani Loïc Correnson Julien Crétin Pascal Cuoq Zaynah Dargaye Basile Desloges Jean-Christophe Filliâtre Philippe Herrmann Maxime Jacquemin Florent Kirchner Tristan Le Gall Jean-Christophe Léchenet Matthieu Lemerre Dara Ly David Maison Claude Marché André Maroneze Thibault Martin Fonenantsoa Maurica Melody Méaulle Benjamin Monate Yannick Moy Anne Pacalet Valentin Perrelle Guillaume Petiot Dario Pinto Virgile Prevosto Armand Puccetti Félix Ridoux Virgile Robles Muriel Roger Julien Signoles Kostyantyn Vorobyov Boris Yakobowski
25.0
LGPL-2.1-only
Used by 5 other packages
frama-c-base
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 David Bühler Loïc Correnson Julien Crétin Pascal Cuoq Zaynah Dargaye Jean-Christophe Filliâtre Philippe Herrmann Florent Kirchner Tristan Le Gall Jean-Christophe Léchenet Matthieu Lemerre David Maison Claude Marché André Maroneze Benjamin Monate Yannick Moy Anne Pacalet Valentin Perrelle Guillaume Petiot Virgile Prevosto Armand Puccetti Muriel Roger Julien Signoles Kostyantyn Vorobyov Boris Yakobowski
15.0
LGPL-2.1-only
Used by 2 other packages
leaflet
Bindings for the Leaflet JavaScript library
leaflet javascript bindings interactive map openstreetmap
pukkamustard <pukkamustard@posteo.net> swrup <swrup@protonmail.com> Léo Andrès <contact@ndrs.fr>
0.1
BSD-2-Clause
Used by 0 other packages
why
Why is a software verification platform.
deductive program verification specification automated theorem prover interactive theorem prover Java JML C ACSL
Jean-Christophe Filliâtre Claude Marché Yannick Moy Romain Bardou
2.41
LGPL-2.1-only
Used by 0 other packages
why3
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.5.1
LGPL-2.1-only
Used by 8 other packages
why3-base
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
why3-coq
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.5.1
LGPL-2.1-only
Used by 0 other packages
why3-ide
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.5.1
LGPL-2.1-only
Used by 0 other packages