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...

Full description

Bibliographic Details

Published in:	2024 IEEE 1st Karachi Section Humanitarian Technology Conference (KHI-HTC) pp. 1 - 6
Main Authors:	Rashid, Muhammad, Qadeer, Muhammad, Raza, Husnain, Shabbir, Ifra, Rasool, Imran, Zafar, Nazir Ahmad
Format:	Conference Proceeding
Language:	English
Published:	IEEE 08.01.2024
Subjects:	Formal Methods Internet of Things IoT LTL Model checking Program Graph Protocols Safety Security SPIN Transport systems Transportation Unified modeling language
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!