Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/11691372zbMath1180.68194OpenAlexW2739785336MaRDI QIDQ5899059

Vitali Kozioura, Barbara König

Publication date: 2 May 2007

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

Full work available at URL: https://doi.org/10.1007/11691372

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (9)

Liveness in broadcast networks ⋮ Explicit State Model Checking for Graph Grammars ⋮ Unnamed Item ⋮ Towards the Verification of Attributed Graph Transformation Systems ⋮ A framework for the verification of infinite-state graph transformation systems ⋮ Reachability analysis of reversal-bounded automata on series-parallel graphs ⋮ The Edge of Graph Transformation — Graphs for Behavioural Specification ⋮ Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols ⋮ Verification of Random Graph Transformation Systems

Uses Software

• Augur 2

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems