GTRECS2: A model checker for recursion schemes based on games and types. GTRecS (Games and Types for RECursion Schemes) 2: Model Checker and Transformer for Higher-Order Recursion Schemes.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 1 article )

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

  1. Broadbent, Christopher; Carayol, Arnaud; Hague, Matthew; Serre, Olivier: C-SHORe: a collapsible approach to higher-order verification (2013)