Model checking procedural programs
From MaRDI portal
Publication:3176375
Recommendations
Cites work
- scientific article; zbMATH DE number 1670555 (Why is no real title available?)
- scientific article; zbMATH DE number 1670780 (Why is no real title available?)
- scientific article; zbMATH DE number 3610766 (Why is no real title available?)
- scientific article; zbMATH DE number 1232241 (Why is no real title available?)
- scientific article; zbMATH DE number 2080197 (Why is no real title available?)
- scientific article; zbMATH DE number 1796143 (Why is no real title available?)
- scientific article; zbMATH DE number 2086664 (Why is no real title available?)
- scientific article; zbMATH DE number 1903378 (Why is no real title available?)
- scientific article; zbMATH DE number 789389 (Why is no real title available?)
- A fixpoint calculus for local and global program flows
- A saturation method for the modal \(\mu \)-calculus over pushdown systems
- AN ALTERNATIVE CONSTRUCTION IN SYMBOLIC REACHABILITY ANALYSIS OF SECOND ORDER PUSHDOWN SYSTEMS
- Adding nesting structure to words
- Automata theory and model checking
- BDD-based symbolic model checking
- Computer Aided Verification
- Computing Procedure Summaries for Interprocedural Analysis
- Constrained properties, semilinear systems, and Petri nets
- Efficient CTL model-checking for pushdown systems
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- First-Order and Temporal Logics for Nested Words
- Model checking LTL with regular valuations for pushdown systems
- Model checking the full modal mu-calculus for infinite sequential processes
- Model checking the full modal mu-calculus for infinite sequential processes
- On Context-Free Languages
- On the regular structure of prefix rewriting
- Precise interprocedural analysis through linear algebra
- Precise interprocedural dataflow analysis with applications to constant propagation
- Program Analysis Using Weighted Pushdown Systems
- Pushdown processes: Games and model-checking
- Reachability analysis of pushdown automata: Application to model-checking
- Stack size analysis for interrupt-driven programs
- Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
- Temporal logic and fair discrete systems
- The theory of ends, pushdown automata, and second-order logic
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Visibly pushdown languages
- Weighted pushdown systems and their application to interprocedural dataflow analysis
- Winning Regions of Pushdown Parity Games: A Saturation Method
Cited in
(20)- Minimization of visibly pushdown automata using partial Max-SAT
- Model-checking structured context-free languages
- Compositional verification of sequential programs with procedures
- scientific article; zbMATH DE number 7577575 (Why is no real title available?)
- Verifying quantitative temporal properties of procedural programs
- Summarizing procedures in concurrent programs
- Be lazy and don't care: faster CTL model checking for recursive state machines
- Verification of programs with exceptions through operator precedence automata
- Faster algorithms for weighted recursive state machines
- Complexity of model-checking call-by-value programs
- Temporal logic and fair discrete systems
- Maximally-polyvariant partial evaluation in polynomial time
- Colored nested words
- Procedure extraction to improve scalability of software model checking
- LTL model checking for recursive programs
- Tools and Algorithms for the Construction and Analysis of Systems
- Parameterized verification under TSO with data types
- Tools and Algorithms for the Construction and Analysis of Systems
- SMT-based model checking for recursive programs
- Reducing behavioural to structural properties of programs with procedures
This page was built for publication: Model checking procedural programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3176375)
