• OCaml logo OCaml logo
  • Standard Library API
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get Started
  • OCaml logo OCaml logo
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Standard Library API
  • Get started

3 search results for "author:"Yannick Moy""

Showing 1 - 3
  1. 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
  2. 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
  3. why
    Documentation
    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
    03 Jul 2018

Footer

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS

About OCaml

  • Changelog
  • Releases
  • Industrial Users
  • Academic Users
  • Why OCaml

Resources

  • Install OCaml
  • Get Started
  • Platform Tools
  • Language Manual
  • Standard Library API
  • Books
  • Exercises
  • Papers
  • OCaml Playground
  • Logo

Ecosystem

  • Packages
  • Community
  • Blog
  • Jobs

Policies

  • Carbon Footprint
  • Governance
  • Privacy
  • Code of Conduct