Login / Signup
Multi-Level Bounded Model Checking with Symbolic Counterexamples.
Tasuku Nishihara
Takeshi Matsumoto
Masahiro Fujita
Published in:
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2011)
Keyphrases
</>
bounded model checking
model checking
temporal logic
formal verification
linear temporal logic
multi agent systems
symbolic representation
multi layer
symbolic description
neural learning
binary decision diagrams
data sets
high level
modal logic
connectionist models
markov chain
multi agent
neural network