C-SHORe

swMATH13319MaRDI QIDQ25234FDOQ25234

Author name not available (Why is that?)

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

Described by source

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

Cited In (7)

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

This page was built for software: C-SHORe