MV-Checker: A software tool for multi-valued model checking intelligent applications with trust and commitment

Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi, Witold Pedrycz

Abstract: Highlights•Design and implementation of an open-source scalable tool for systems model checking.•System modeling with multi-valued logic capturing uncertainty and inconsistency.•Practical demonstration using blockchain-based applications in healthcare domain.•Extensive experiments showing scalability, efficiency and reliability of the tool.