A Design of GPU-Based Quantitative Model Checking.

YoungMin Kwon, Eunhee Kim

Browse the full VMCAI paper archive.