A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving.

Alexander Biewer, Benjamin Andres, Jens Gladigau, Torsten Schaub, Christian Haubelt

Browse the full DATE paper archive.