• 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

1 search result for "author:"Zakaria Chihani""

Showing 1 - 1
  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

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