2 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-metacsl
MetACSL plugin of Frama-C for writing pervasives properties