TravMC

MaRDI QIDQ21379swMATHFDO

Official website http://dl.acm.org/citation.cfm?doid=2364527.2364578

Cited in

(4)

• TRecS
• TravMC2
• A traversal-based algorithm for higher-order model checking
• Streett Automata Model Checking of Higher-Order Recursion Schemes

This page was built for software: TravMC