On well-separation of GR(1) specifications.

Shahar Maoz Jan Oliver Ringert

Published in: SIGSOFT FSE (2016)

Keyphrases

specification language
high level
formal specification
delay insensitive
written in natural language
information retrieval
multiscale
object oriented
software engineering
model checking
control flow
asynchronous circuits
numerically stable