Synthesis of succinct systems

DOI10.1016/J.JCSS.2015.02.005MaRDI QIDQ2353397zbMATH OpenOpenAlexFDO

Authors John Fearnley, Sven Schewe, Doron Peled

Publication date 13 July 2015

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jcss.2015.02.005

zbMATH Keywords

CTLLTLonline Turing machinesuccinct synthesis

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Synthesis of succinct systems
• A synthesis method for complex technical systems
• Compositional synthesis of modular systems
• scientific article; zbMATH DE number 3922444
• Synthesizing efficient systems in probabilistic environments
• Synthesis of Persistent Systems
• scientific article; zbMATH DE number 3972708
• scientific article; zbMATH DE number 2086659
• Synthesizing robust systems
• scientific article; zbMATH DE number 1332686

Cites work

• Alternation
• An Antichain Algorithm for LTL Realizability
• An automata-theoretic approach to branching-time model checking
• Bounded Synthesis
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1903365 (Why is no real title available?)
• scientific article; zbMATH DE number 1392310 (Why is no real title available?)
• scientific article; zbMATH DE number 3189696 (Why is no real title available?)
• Synthesis of succinct systems
• Turing machines that take advice
• Unbeast: Symbolic Bounded Synthesis
• Verification, Model Checking, and Abstract Interpretation

Cited in

(5)

• scientific article; zbMATH DE number 1305003 (Why is no real title available?)
• Synthesis of succinct systems
• scientific article; zbMATH DE number 2086659 (Why is no real title available?)
• Synthesis of Persistent Systems
• Succinct System of Minimal Generators: A Thorough Study, Limitations and New Definitions

Describes a project that uses

Uses Software

• SPIN
• Unbeast
• NuSMV

This page was built for publication: Synthesis of succinct systems

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