Model verification through dependency graphs

DOI10.1007/978-3-030-30923-7_1MaRDI QIDQ6198462zbMATH OpenOpenAlexFDO

Authors Søren Enevoldsen, Kim G. Larsen, Jiří Srba

Publication date 23 February 2024

Published in Model Checking Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-30923-7_1

zbMATH Keywords

dependency graphsfixed-point computationon-the-fly algorithmsverification

Mathematics Subject Classification ID

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

Recommendations

• Abstract Dependency Graphs and Their Application to Model Checking
• Extended dependency graphs and efficient distributed fixed-point computation
• A distributed fixed-point algorithm for extended dependency graphs
• Elimination of detached regions in dependency graph verification
• Distributed computation of fixed points on dependency graphs

Cited in

(3)

• Elimination of detached regions in dependency graph verification
• Abstract Dependency Graphs and Their Application to Model Checking
• On-the-fly verification: advancements in dependency graphs (invited talk)

This page was built for publication: Model verification through dependency graphs

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