Formal Modeling and Verification of IoT-based Smart Transport System using SPIN Model Checker

Transportation systems that are intelligent are developing for the benefit of travelers. The transportation business has suffered greatly as a result of advanced technology like the Internet of Things (IoT). Ensuring the security of passengers and conserving their valuable time are the top prioritie...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2024 IEEE 1st Karachi Section Humanitarian Technology Conference (KHI-HTC) S. 1 - 6
Hauptverfasser:	Rashid, Muhammad, Qadeer, Muhammad, Raza, Husnain, Shabbir, Ifra, Rasool, Imran, Zafar, Nazir Ahmad
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 08.01.2024
Schlagworte:	Formal Methods Internet of Things IoT LTL Model checking Program Graph Protocols Safety Security SPIN Transport systems Transportation Unified modeling language
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!