Logics and Translations for Inconsistency-tolerant Model Checking.

Norihiro Kamide, Kazuki Endo

Browse the full ICAART paper archive.