Login / Signup
Learning and statistical model checking of system response times.
Bernhard K. Aichernig
Priska Bauerstätter
Elisabeth Jöbstl
Severin Kann
Robert Korosec
Willibald Krenn
Cristinel Mateis
Rupert Schlick
Richard Schumi
Published in:
Softw. Qual. J. (2019)
Keyphrases
</>
model checking
response time
temporal logic
finite state machines
formal verification
reinforcement learning
automated verification
pspace complete
symbolic model checking
concurrent systems