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

Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato. iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns. In Leszek A. Maciaszek, Marten van Sinderen, editors, Proceedings of the 13th International Conference on Software Technologies, ICSOFT 2018, Porto, Portugal, July 26-28, 2018. pages 210-218, SciTePress, 2018. [doi]

Abstract

Abstract is missing.