SMT-Based Bounded Model Checking for Real-Time Systems (Short Paper).

Liang Xu SMT-Based Bounded Model Checking for Real-Time Systems (Short Paper). 120-125 2008 QSIC http://doi.ieeecomputersociety.org/10.1109/QSIC.2008.10 conf/qsic/2008 db/conf/qsic/qsic2008.html#Xu08