iscasMc: A Web-Based Probabilistic Model Checker.

Ernst Moritz Hahn Yi Li Sven Schewe Andrea Turrini Lijun Zhang

Published in: FM (2014)

Keyphrases

model checker
model checking
formal verification
formal methods
description language
temporal logic
formal specification
symbolic model checking
bayesian networks
set theory
test suite
ai planning
web services
evolutionary algorithm