Formal Techniques for Networked and Distributed Systems – FORTE 2004

DOI10.1007/B100576zbMath1110.68348OpenAlexW2244752996MaRDI QIDQ5464475

Denis Poitrenaud, Jean-Michel Ilié, Yann Thierry-Mieg

Publication date: 18 August 2005

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

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

zbMATH Keywords

Decision DiagramsSymbolic Model-checkingSymbolic Reachability GraphSymmetry DetectionWell-Formed Petri Nets

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) Distributed systems (68M14)

Related Items (2)

Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag ⋮ Component-wise incremental LTL model checking

This page was built for publication: Formal Techniques for Networked and Distributed Systems – FORTE 2004