Model Checking Recursive Programs with Numeric Data Types

Eitemau Tebyg

• A type system equivalent to the modal Mu-calculus model checking of higher-order recursion schemes
  gan: Kobayashi, N, et al.
  Cyhoeddwyd: (2009)
• On Global Model Checking Trees Generated by Higher−Order Recursion Schemes
  gan: Broadbent, C, et al.
  Cyhoeddwyd: (2009)
• Saturation Methods for Global Model−Checking Pushdown Systems
  gan: Hague, M
  Cyhoeddwyd: (2009)
• Saturation methods for global model-checking pushdown systems
  gan: Hague, M
  Cyhoeddwyd: (2009)
• Automata‚ Model Checking and Synthesis for Linear Time Temporal Logics
  gan: Hague, M
  Cyhoeddwyd: (2006)