C-SHORe

MaRDI QIDQ25234swMATHFDO

Official website http://cshore.cs.rhul.ac.uk/#Home

Described by source

• C-SHORe: a collapsible approach to higher-order verification

Cited in

(7)

• A type-directed abstraction refinement approach to higher-order model checking
• Reachability analysis of innermost rewriting
• HECTOR
• GTRECS2
• HOMER
• A type-directed negation elimination
• Higher-order model checking in direct style

This page was built for software: C-SHORe