9 search results for "tag:"date: 2002""

Showing 1 - 9
  1. coq-ails

    No documentation

    Proof of AILS algorithm
    keyword: ails keyword: aircraft keyword: trajectory keyword: conflict keyword: collision category: Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms date: 2002
    Olivier Desmettre
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  2. coq-angles

    No documentation

    Formalization of the oriented angles theory
    keyword: Pcoq keyword: geometry keyword: plane geometry keyword: oriented angles category: Mathematics/Geometry/General date: 2002-01-15
    Frédérique Guilhot <Frederique.Guilhot@sophia.inria.fr>
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  3. coq-fssec-model

    No documentation

    Formal verification of an extension of a UNIX compatible, secure filesystem
    keyword: security keyword: filesystem keyword: UNIX keyword: MLS keyword: access control category: Computer Science/Operating Systems date: 2002-04-24
    Maximiliano Cristiá
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  4. coq-jprover

    No documentation

    A theorem prover for first-order intuitionistic logic
    keyword: decision procedure keyword: first-order logic keyword: intuitionistic logic keyword: theorem proving keyword: proof search category: Miscellaneous/Coq Extensions category: Computer Science/Decision Procedures and Certified Algorithms/Decision procedures date: 2002-04 (contribution since January 2009)
    Huang Guan-Shieng
    8.6.0
    Unknown
    Used by 0 other packages
    20 Nov 2018
  5. coq-ltl

    No documentation

    Linear Temporal Logic
    keyword: temporal logic keyword: infinite transition systems keyword: co-induction category: Mathematics/Logic/Modal logic date: 2002-07
    Solange Coupet-Grimal
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  6. coq-maple-mode

    No documentation

    A Maple Mode for Coq
    keyword: Maple keyword: simplification keyword: field tactic category: Miscellaneous/Coq Extensions date: 2002-03
    David Delahaye Micaela Mayero
    8.9.0
    Unknown
    Used by 0 other packages
    08 Dec 2019
  7. coq-recursive-definition

    No documentation

    ML-like recursive definitions
    keyword: recursive functions keyword: well-foundedness category: Miscellaneous/Coq Extensions date: 2002
    Antonia Balaa Yves Bertot
    8.6.0
    LGPL 2.1
    Used by 0 other packages
    20 Nov 2018
  8. coq-smc

    No documentation

    BDD based symbolic model checker for the modal mu-calculus
    keyword: BDD keyword: binary decision diagrams keyword: classical logic keyword: propositional logic keyword: garbage collection keyword: modal mu-calculus keyword: model checking keyword: symbolic model checking keyword: reflection category: Computer Science/Decision Procedures and Certified Algorithms/Decision procedures date: 2002-11
    Kumar Neeraj Verma <verma@lsv.ens-cachan.fr>
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  9. coq-string

    No documentation

    Definition of strings in Coq
    keyword: string keyword: ascii character category: Miscellaneous/Coq Extensions date: 2002-03
    Laurent Théry
    8.6.0
    LGPL 2.1
    Used by 0 other packages
    20 Nov 2018