Falsification-aware Semantics for CTL and Its Inconsistency-tolerant Subsystem: Towards Falsification-aware Model Checking.

Norihiro Kamide, Seidai Kanbe

Browse the full ICAART paper archive.