Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021
Wed 26 May 2021 14:30 - 16:45 at TB Room - Reactive Synthesis with Spectra: A Tutorial Chair(s): Xavier Franch
Thu 27 May 2021 02:30 - 04:45 at TB Room - Reactive Synthesis with Spectra: A Tutorial

Reactive systems compute by ongoing interaction with their environment. Example systems include industrial robots and web applications. 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.

Conference Day
Wed 26 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:30 - 16:45
Reactive Synthesis with Spectra: A TutorialTB - Technical Briefings at TB Room +12h
Chair(s): Xavier FranchUniversitat Polit├Ęcnica de Catalunya
14:30
2h15m
Tutorial
Reactive Synthesis with Spectra: A TutorialTechnical Briefings
TB - Technical Briefings
Shahar MaozTel Aviv University, Israel, Jan Oliver RingertUniversity of Leicester

Conference Day
Thu 27 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

02:30 - 04:45
Reactive Synthesis with Spectra: A TutorialTB - Technical Briefings at TB Room
02:30
2h15m
Tutorial
Reactive Synthesis with Spectra: A TutorialTechnical Briefings
TB - Technical Briefings
Shahar MaozTel Aviv University, Israel, Jan Oliver RingertUniversity of Leicester

Information for Participants
Info for event:

This TB is available on Clowdr