Hardware implementation of BLTL property checkers for acceleration of statistical model checking.

Kosuke Oshima, Takeshi Matsumoto, Masahiro Fujita

Browse the full ICCAD paper archive.