Towards Efficient Parameterized Synthesis
From MaRDI portal
Publication:2926642
DOI10.1007/978-3-642-35873-9_9zbMath1426.68051MaRDI QIDQ2926642
Roderick Bloem, Ayrat Khalimov, Swen Jacobs
Publication date: 3 November 2014
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-35873-9_9
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings, Unnamed Item, Tableaux for realizability of safety specifications, Parameterized model checking of rendezvous systems, Distributed synthesis for parameterized temporal logics, Vacuity in synthesis, Verification of agent navigation in partially-known environments, Compositional verification of smart contracts through communication abstraction, Synthesizing adaptive test strategies from temporal logic specifications, Practical synthesis of reactive systems from LTL specifications via parity games, Parameterized synthesis of self-stabilizing protocols in symmetric networks, Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis, Encodings of Bounded Synthesis