scientific article; zbMATH DE number 794257
From MaRDI portal
Publication:4847017
zbMATH Open0839.68028MaRDI QIDQ4847017FDOQ4847017
Authors: Olaf Burkart, Bernhard Steffen 
Publication date: 28 May 1996
Title of this publication is not available (Why is that?)
Recommendations
Cited In (19)
- Efficient CTL model-checking for pushdown systems
- A saturation method for the modal \(\mu \)-calculus over pushdown systems
- A basic parallel process as a parallel pushdown automaton
- Never-stop context-free learning
- A model checking-based approach for security policy verification of mobile systems
- Decidability of bisimulation equivalence for normed pushdown processes
- Decidability of bisimulation equivalence for normed pushdown processes
- An automata-theoretic approach to infinite-state systems
- Model checking the full modal mu-calculus for infinite sequential processes
- Model checking the full modal mu-calculus for infinite sequential processes
- Complexity results on branching-time pushdown model checking
- Ensuring completeness of symbolic verification methods for infinite-state systems
- A Context-Free Process as a Pushdown Automaton
- Efficient CTL model-checking for pushdown systems
- A Context-Free Symbiosis of Runtime Verification and Automata Learning
- Verification of Boolean programs with unbounded thread creation
- Model checking of systems with many identical timed processes
- Reachability analysis of pushdown automata: Application to model-checking
- Pushdown processes: Games and model-checking
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4847017)
