Towards efficient parameterized synthesis

DOI10.1007/978-3-642-35873-9_9MaRDI QIDQ2926642zbMATH OpenOpenAlexFDO

Authors Ayrat Khalimov, Swen Jacobs, Roderick Bloem

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Parameterized Synthesis
• Parameterized synthesis
• Parameterized synthesis with safety properties
• Compositional parameter synthesis
• Distributed synthesis for parameterized temporal logics

Cited in

(18)

• Parameterized model checking of rendezvous systems
• Distributed synthesis for parameterized temporal logics
• Parameterized synthesis with safety properties
• Vacuity in synthesis
• Verification of agent navigation in partially-known environments
• Compositional verification of smart contracts through communication abstraction
• Parameterized synthesis for fragments of first-order logic over data words
• 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
• Parameterized synthesis
• Semantic labelling and learning for parity game solving in LTL synthesis
• Encodings of bounded synthesis
• Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings
• Parameterized Synthesis
• Synthesis of data word transducers
• Tableaux for realizability of safety specifications
• Cutoff theorems for the equivalence of parameterized quantum circuits

This page was built for publication: Towards efficient parameterized synthesis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2926642)