Compositional termination analysis of symbolic forward analysis

DOI10.1007/3-540-47813-2_8MaRDI QIDQ4736991zbMATH OpenFDO

Authors Witold Charatonik, Andreas Podelski, Supratik Mukhopadhyay

Publication date 11 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2294/22940109.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• An algebraic framework for abstract model checking
• Beyond region graphs: Symbolic forward analysis of timed automata
• Ensuring completeness of symbolic verification methods for infinite-state systems
• Symbolic Algorithm Analysis of Rectangular Hybrid Systems
• Automated termination in model-checking modulo theories

Cited in

(2)

• Beyond region graphs: Symbolic forward analysis of timed automata
• An algebraic framework for abstract model checking

Describes a project that uses

Uses Software

• Kronos
• Uppaal

This page was built for publication: Compositional termination analysis of symbolic forward analysis

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