Synthesis of succinct systems

DOI10.1016/j.jcss.2015.02.005zbMath1320.68078MaRDI QIDQ2353397

Doron A. Peled, John Fearnley, Sven Schewe

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

LTL; CTL; online Turing machine; succinct synthesis

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)

68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)

Uses Software

• SPIN
• NuSMV
• Unbeast