A Lightweight Integration of Theorem Proving and Model Checking for System Verification.

Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata

Browse the full APSEC paper archive.