Inherent vacuity for GR(1) specifications.

Shahar Maoz Rafi Shalom

Published in: ESEC/SIGSOFT FSE (2020)

Keyphrases

temporal logic
model checking
formal specification
delay insensitive
concurrent systems
high level
transition systems
reactive systems
artificial intelligence
formal verification
numerically stable