Automated Technology for Verification and Analysis
From MaRDI portal
Publication:5491869
DOI10.1007/11562948zbMath1170.68539MaRDI QIDQ5491869
Publication date: 10 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11562948
68Q25: Analysis of algorithms and problem complexity
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Complexity of synthesis of composite service with correctness guarantee, Synchronous counting and computational algorithm design, Controlling loosely cooperating processes, Distributed synthesis for regular and contextfree specifications, Automated Synthesis of Distributed Controllers, Bounded Synthesis for Petri Games, Distributed Synthesis for Alternating-Time Logics, On Distributed Program Specification and Synthesis in Architectures with Cycles, Synthesis of Fault-Tolerant Distributed Systems