Login / Signup

Learning and statistical model checking of system response times.

Bernhard K. AichernigPriska BauerstätterElisabeth JöbstlSeverin KannRobert KorosecWillibald KrennCristinel MateisRupert SchlickRichard 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