Login / Signup
Probabilistic Model Checking of the One-Dimensional Ising Model.
Toshifusa Sekizawa
Tatsuhiro Tsuchiya
Koichi Takahashi
Tohru Kikuno
Published in:
IEICE Trans. Inf. Syst. (2009)
Keyphrases
</>
model checking
probabilistic model
temporal properties
finite state machines
temporal logic
finite state
bayesian networks
domain independent
formal specification
model checker
reactive systems
verification method