Login / Signup
Generalized test tables: A powerful and intuitive specification language for reactive systems.
Alexander Weigl
Franziska Wiebe
Mattias Ulbrich
Sebastian Ulewicz
Suhyun Cha
Michael Kirsten
Bernhard Beckert
Birgit Vogel-Heuser
Published in:
INDIN (2017)
Keyphrases
</>
specification language
reactive systems
formal specification
model checking
programming language
description language
formal methods
software environment
temporal logic
databases
general purpose
petri net
database
building blocks
information flow