7 search results for "author:"Solange Coupet-Grimal""

Showing 1 - 7
  1. coq-ccs

    No documentation

    Equivalence notions on labelled transitions systems
    keyword: Labelled Transitions Systems keyword: process algebras keyword: Calculus of Concurrent Process (CCS) category: Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems
    Solange Coupet-Grimal
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  2. coq-color

    No documentation

    A library on rewriting theory and termination
    date:2023-06-28 logpath:CoLoR category:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms category:Computer Science/Data Types and Data Structures category:Computer Science/Lambda Calculi category:Mathematics/Algebra category:Mathematics/Combinatorics and Graph Theory category:Mathematics/Logic/Type theory category:Miscellaneous/Extracted Programs/Type checking unification and normalization keyword:rewriting keyword:termination keyword:lambda calculus keyword:list keyword:multiset keyword:polynomial keyword:vectors keyword:matrices keyword:FSet keyword:FMap keyword:term keyword:context keyword:substitution keyword:universal algebra keyword:varyadic term keyword:string keyword:alpha-equivalence keyword:de Bruijn indices keyword:simple types keyword:matching keyword:unification keyword:relation keyword:ordering keyword:quasi-ordering keyword:lexicographic ordering keyword:ring keyword:semiring keyword:well-foundedness keyword:noetherian keyword:finitely branching keyword:dependent choice keyword:infinite sequences keyword:non-termination keyword:loop keyword:graph keyword:path keyword:transitive closure keyword:strongly connected components keyword:topological ordering keyword:rpo keyword:horpo keyword:dependency pair keyword:dependency graph keyword:semantic labeling keyword:reducibility keyword:Girard keyword:fixpoint theorem keyword:Tarski keyword:pigeon-hole principle keyword:Ramsey theorem
    Frédéric Blanqui Adam Koprowski Sébastien Hinderer Pierre-Yves Strub Sidi Ould Biha et al.
    1.8.5
    CeCILL-2.1
    Used by 0 other packages
    16 Apr 2024
  3. coq-fairisle

    No documentation

    Proof of the Fairisle 4x4 Switch Element
    keyword: circuits keyword: automata keyword: co-induction keyword: dependent types category: Computer Science/Architecture date: 2005-12-15
    Solange Coupet-Grimal <Solange.Coupet@lif.univ-mrs.fr> [http://www.cmi.univ-mrs.fr/~solange/] Line Jakubiec-Jamet <Line.Jakubiec@lif.univ-mrs.fr> [http://www.dil.univ-mrs.fr/~jakubiec/]
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  4. coq-gc

    No documentation

    Formal Verification of an Incremental Garbage Collector
    keyword: Linear temporal logic keyword: finite sets keyword: co-induction keyword: garbage collection category: Computer Science/Semantics and Compilation/Compilation date: 2003-05-9
    Solange Coupet-Grimal and Catherine Nouvet
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  5. coq-hardware

    No documentation

    Verification and synthesis of hardware linear arithmetic structures
    keyword: hardware verification keyword: comparator circuit category: Computer Science/Architecture category: Miscellaneous/Extracted Programs/Hardware
    Solange Coupet-Grimal & Line Jakubiec
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  6. coq-kildall

    No documentation

    Application of the Generic kildall's Data Flow Analysis Algorithm to a Type and Shape Static Analyses of Bytecode
    keyword: Kildall keyword: data flow analysis keyword: bytecode verification category: Computer Science/Semantics and Compilation/Semantics date: 2005-07
    Solange Coupet-Grimal <Solange.Coupet@cmi.univ-mrs.fr> William Delobel <delobel@cmi.univ-mrs.fr>
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  7. 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