TRecS

TRecS: A type-based model checker for recursion schemes.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Tobita, Yoshihiro; Tsukada, Takeshi; Kobayashi, Naoki: Exact flow analysis by higher-order model checking (2012)