• OCaml logo OCaml logo
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get Started
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get started
3 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 Nicolas Stouls Kostyantyn Vorobyov Boris Yakobowski
26.0
LGPL-2.1-only
Used by 3 other packages
swhid
OCaml library to work with Software Heritage identifiers
swh software heritage archive swhid persistent identifier
Léo Andrès <contact@ndrs.fr> Dario Pinto <dario.pinto@ocamlpro.com>
0.2
ISC
Used by 0 other packages
swhid_core
OCaml library to work with swhids
Léo Andrès <contact@ndrs.fr> Dario Pinto <dario.pinto@ocamlpro.com>
0.1
ISC
Used by 1 other packages
Innovation. Community. Security.
  • About Us
  • Industrial Users
  • Academic Users
  • Why OCaml
  • Resources
  • Get Started
  • Language Docs
  • Books
  • Releases
  • Community
  • Blog
  • Jobs
  • Legal
  • Carbon Footprint
  • Governance
  • Privacy Policy
  • Code of Conduct