SMT-based BMC for Dense Timed Interpreted Systems and EMTLK Properties.

Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Bozena Wozna-Szczesniak

Browse the full ICAART paper archive.