Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/b107194zbMath1087.68058OpenAlexW2497867240MaRDI QIDQ5703755

Francesco Tapparo, Francesco Ranzato

Publication date: 10 November 2005

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

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

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

Generalizing the Paige-Tarjan algorithm by abstract interpretation, Combining search space partition and abstraction for LTL model checking, Incompleteness of states w.r.t. traces in model checking, Deriving Bisimulations by Simplifying Partitions, A Forward-Backward Abstraction Refinement Algorithm, What You Lose is What You Leak: Information Leakage in Declassification Policies