DMCA

Approximate Reachability Don’t Cares for CTL Model Checking

by In-ho Moony , Jae-young Jangy , Gary D. Hachtely , Fabio Somenziy , Jun Yuanyy , Carl Pixleyyy