TY - GEN
T1 - Reactive Synthesis with Spectra
T2 - 43rd IEEE/ACM International Conference on Software Engineering: Companion, ICSE-Companion 2021
AU - Maoz, Shahar
AU - Ringert, Jan Oliver
N1 - Publisher Copyright:
© 2021 IEEE.
PY - 2021/5
Y1 - 2021/5
N2 - Spectra is a formal specification language specifically tailored for use in the context of reactive synthesis, an automated procedure to obtain a correct-by-construction reactive system from its temporal logic specification. Spectra comes with the Spectra Tools, a set of analyses, including a synthesizer to obtain a correct-by-construction implementation, several means for executing the resulting controller, and additional analyses aimed at helping engineers write higher-quality specifications. This hands-on tutorial will introduce participants to the language and the tool set, using examples and exercises, covering an end-to-end process from specification writing to synthesis to execution. The tutorial may be of interest to software engineers and researchers who are interested in the potential applications of formal methods to software engineering.
AB - Spectra is a formal specification language specifically tailored for use in the context of reactive synthesis, an automated procedure to obtain a correct-by-construction reactive system from its temporal logic specification. Spectra comes with the Spectra Tools, a set of analyses, including a synthesizer to obtain a correct-by-construction implementation, several means for executing the resulting controller, and additional analyses aimed at helping engineers write higher-quality specifications. This hands-on tutorial will introduce participants to the language and the tool set, using examples and exercises, covering an end-to-end process from specification writing to synthesis to execution. The tutorial may be of interest to software engineers and researchers who are interested in the potential applications of formal methods to software engineering.
KW - Reactive synthesis
UR - http://www.scopus.com/inward/record.url?scp=85115690464&partnerID=8YFLogxK
U2 - 10.1109/ICSE-Companion52605.2021.00136
DO - 10.1109/ICSE-Companion52605.2021.00136
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:85115690464
SN - 9781665412193
T3 - Proceedings - International Conference on Software Engineering
SP - 320
EP - 321
BT - 2021 IEEE/ACM 43rd International Conference on Software Engineering
PB - IEEE Computer Society
Y2 - 25 May 2021 through 28 May 2021
ER -