1 search result for "tag:"keyword: Linear temporal logic""

Showing 1 - 1
  1. 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