Abstract Dependency Graphs and Their Application to Model Checking

DOI10.1007/978-3-030-17462-0_18zbMath1527.68127OpenAlexW2926435172MaRDI QIDQ6091335

Jiří Srba, Søren Enevoldsen, Kim Guldstrand Larsen

Publication date: 24 November 2023

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

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

Mathematics Subject Classification ID

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

Related Items (3)

Elimination of detached regions in dependency graph verification ⋮ Backward symbolic optimal reachability in weighted timed automata ⋮ Verification of multiplayer stochastic games via abstract dependency graphs

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