A Practical Study of Debugging Using Model Checking.

Hideto Ogawa Makoto Ichii Fumihiko Kumeno Toshiaki Aoki

Published in: APSEC (2) (2013)

Keyphrases

model checking
temporal logic
finite state
artificial intelligence
formal verification
process algebra
finite state machines
formal specification
epistemic logic
verification method
timed automata
reinforcement learning
temporal properties
transition systems