Login / Signup
Synthesizing Adaptive Test Strategies from Temporal Logic Specifications.
Roderick Bloem
Görschwin Fey
Fabian Greif
Robert Könighofer
Ingo Pill
Heinz Riener
Franz Röck
Published in:
CoRR (2018)
Keyphrases
</>
temporal logic
concurrent systems
model checking
transition systems
model checker
reactive systems
bounded model checking
formal specification language
modal logic
satisfiability problem
formal specification
mazurkiewicz traces
belief revision
verification method
test suite
formal verification
control flow
dynamic constraints
computation tree logic
predicate logic
finite state
domain specific