Abstract Dependency Graphs and Their Application to Model Checking

DOI10.1007/978-3-030-17462-0_18MaRDI QIDQ6091335zbMATH OpenOpenAlexFDO

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

Publication date 24 November 2023

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-17462-0_18

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Model verification through dependency graphs
• Elimination of detached regions in dependency graph verification
• Extended dependency graphs and efficient distributed fixed-point computation
• A distributed fixed-point algorithm for extended dependency graphs
• Distributed computation of fixed points on dependency graphs

Cited in

(9)

• Backward symbolic optimal reachability in weighted timed automata
• Verification of multiplayer stochastic games via abstract dependency graphs
• The Causal Graph Revisited for Directed Model Checking
• On Diagrams and General Model Checkers
• Elimination of detached regions in dependency graph verification
• Model verification through dependency graphs
• Operations on fixpoint equation systems
• On-the-fly verification: advancements in dependency graphs (invited talk)
• On-the-fly symbolic algorithm for timed ATL with abstractions

This page was built for publication: Abstract Dependency Graphs and Their Application to Model Checking

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