Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environments

Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi, Witold Pedrycz, Nagat Drawel

Abstract: Highlights•New multi-valued logics to reason about inconsistency in multi-source data settings.•Modeling IoT and IS applications using different multi-valued commitment logics.•New reduction-based model checking algorithms for multi-source data applications.•Implementing two new model checking tools: MCMAS-interactor and NuSMV-interactor.