TravMC2
From MaRDI portal
Cited in
(8)- TravMC
- Automatically disproving fair termination of higher-order functional programs
- HorSatP
- Recursion schemes and the WMSO+U logic
- ByMC
- Parity to safety in polynomial time for pushdown and collapsible pushdown systems
- Recursion schemes, the MSO logic, and the \textsf{U} quantifier
- Streett Automata Model Checking of Higher-Order Recursion Schemes
This page was built for software: TravMC2
