Login / Signup
Maximum Realizability for Linear Temporal Logic Specifications.
Rayna Dimitrova
Mahsa Ghasemi
Ufuk Topcu
Published in:
CoRR (2018)
Keyphrases
</>
linear temporal logic
bounded model checking
temporal logic
model checking
transition systems
concurrent systems
formal specification
model checker
specification language
formal verification
reactive systems
general purpose
programming language
finite state