Automatic verification of recursive procedures with one integer parameter

DOI10.1007/3-540-44683-4_18MaRDI QIDQ4785460zbMATH OpenFDO

Authors Ahmed Bouajjani, Peter Habermehl, Richard M. Mayr

Publication date 1 January 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44683-4_18

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Automatic verification of recursive procedures with one integer parameter.
• A BDD-based model checker for recursive programs
• Automated verification of recursive programs with pointers
• Automatic verification of parameterized networks of processes
• LTL model checking for recursive programs

Cited in

(2)

• Automatic verification of recursive procedures with one integer parameter.
• DP lower bounds for equivalence-checking and model-checking of one-counter automata

This page was built for publication: Automatic verification of recursive procedures with one integer parameter

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4785460)