Maximum Realizability for Linear Temporal Logic Specifications.

Rayna Dimitrova Mahsa Ghasemi Ufuk Topcu

Published in: ATVA (2018)

Keyphrases

linear temporal logic
bounded model checking
temporal logic
model checking
transition systems
formal specification
concurrent systems
formal verification
reactive systems
specification language
model checker
high level
data flow
formal methods
temporally extended goals