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
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Broadbent, Christopher; Carayol, Arnaud; Hague, Matthew; Serre, Olivier: C-SHORe: a collapsible approach to higher-order verification (2013)