2 search results for "author:"David Chemouil""

Showing 1 - 2
  1. electrod
    Documentation
    Formal analysis for the Electrod formal pivot language
    David Chemouil Julien Brunel
    1.0.0
    MPL-2.0
    Used by 0 other packages
    11 Jan 2021
  2. electrumAnalyzer
    Documentation
    A tool for the analysis of Electrum formal specifications.
    org:onera
    David Chemouil Julien Brunel Denis Kuperberg
    0.3.5-2
    GPL-3.0-or-later
    Used by 0 other packages
    29 Jul 2016