1 search result for "author:"David Pichardie""

Showing 1 - 1
  1. coq-jmlcoq

    No documentation

    Coq definition of the JML specification language and a verified runtime assertion checker for JML
    category:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms keyword:JML keyword:Java Modeling Language keyword:runtime verification logpath:JML date:2022-06-26
    Hermann Lehner David Pichardie Andreas Kägi
    8.15.0
    MIT
    Used by 0 other packages
    10 Sep 2022