Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings

Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi, Witold Pedrycz

Abstract: Highlights•We tackle the challenge of inconsistency & uncertainty in multi-source data setting.•We introduce 6V-CTLC, a new Six-Values Computation Tree Logic for Commitment.•We employ the logic to verify IoT systems with both inconsistency and uncertainty.•We devise an innovative reduction-based multi-valued model checking approach.•We implemented our method through an open-source Java transformation tool.