iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns.

Naoyasu Ubayashi Yasutaka Kamei Ryosuke Sato

Published in: ICSOFT (2018)

Keyphrases

model checker
model checking
formal verification
formal methods
description language
temporal logic
formal specification
symbolic model checking
ai planning
test suite
set theory
image processing
specification language
partial observability
linear programming