Similar Items: Using models to model-check recursive schemes
- Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus
- Model Checking Temporal Properties of Recursive Probabilistic Programs
- Semantics of Higher-Order Recursion Schemes
- Recursion Schemes, the MSO Logic, and the U quantifier
- Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
- Efficient CSL Model Checking Using Stratification