Using Bounded Model Checking with BOGOR.

Taehoon Lee Mintaek Cho Gihwon Kwon

Published in: SERA (2007)

Keyphrases

bounded model checking
model checking
temporal logic
formal verification
model checker
formal specification
finite state
linear temporal logic
transition systems
epistemic logic
formal methods
reactive systems
reinforcement learning
multi agent systems
markov chain