hoare-type-theory

There are 0 repository under hoare-type-theory topic.

• TyGuS / ssl-htt

  Coq tactics for certification of the results of SSL-based program synthesis via Hoare Type Theory.

  separation-logichoare-type-theoryverificationcoqsynthesis
  Language:Coq 8

• UCL-PPLV / htt-synthesis

  Hoare Type Theory

  dependent-typeshoare-type-theorysynthesistype-theory
  Language:Coq 0

• k4rtik / qhtt-thesis

  LaTeX source for my master's paper on Quantum Hoare Type Theory.

  hoare-type-theorylatex-documentmasters-thesisquantumquantum-computing
  Language:TeX