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

Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato

Browse the full ICSoft paper archive.