Showing results 1 to 2 of 2
Directed Model Checking for Fast Abstract Reachability Analysis Lee, NakWon; Kim, Yunho; Kim, Moonzoo; Ryu, Duksan; Baik, Jongmoon, IEEE ACCESS, v.9, pp.158738 - 158750, 2021-11 |
SAT-based unbounded symbolic model checking Kang, HJ; Park, In-Cheol, IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, v.24, no.2, pp.129 - 140, 2005-02 |
Discover