Login / Signup

Combining Model Learning and Model Checking to Analyze Java Libraries.

Shahbaz AliHailong SunYongwang Zhao
Published in: SOFL+MSVL (2019)
Keyphrases
  • model checking
  • reinforcement learning
  • temporal logic
  • temporal properties
  • model checker
  • object oriented
  • markov chain
  • process model
  • domain independent
  • finite state machines
  • verification method