3 search results for "tag:"logpath:CFML""

Showing 1 - 3
  1. coq-cfml

    No documentation

    The CFML program verification system
    date: logpath:CFML category:Computer Science/Programming Languages/Formal Definitions and Theory keyword:program verification keyword:separation logic keyword:weakest precondition
    Arthur Charguéraud
    20220112
    CC-BY-4.0
    Used by 0 other packages
    12 Jan 2022
  2. coq-cfml-basis

    No documentation

    The CFML Basis library
    date: logpath:CFML category:Computer Science/Programming Languages/Formal Definitions and Theory keyword:program verification keyword:separation logic keyword:weakest precondition
    Arthur Charguéraud
    20220112
    CC-BY-4.0
    Used by 2 other packages
    12 Jan 2022
  3. coq-cfml-stdlib

    No documentation

    The CFML standard library
    date: logpath:CFML.Stdlib category:Computer Science/Programming Languages/Formal Definitions and Theory keyword:program verification keyword:separation logic keyword:weakest precondition
    Arthur Charguéraud
    20220112
    CC-BY-4.0
    Used by 1 other packages
    12 Jan 2022