1 paper
Chumeng Liang, Zhanyang Jin, Zahaib Akhtar +3
Tabular log abstracts objects and events in the real-world system and reports their updates to reflect the change of the system, where one can detect real-world inconsistencies eff…