Learning-Based Compositional Model Checking of Behavioral UML Systems.

Yael Meller Orna Grumberg Karen Yorav

Published in: FACS (2015)

Keyphrases

model checking
formal methods
automated verification
temporal logic
finite state machines
model checker
reinforcement learning
knowledge acquisition
formal verification
reactive systems
artifact centric
web services
formal specification
finite state
asynchronous circuits
temporal properties