Search Results

Journal:Journal of Information Communication Technologies and Robotic Applications (JICTRA), 2017, Volume 8, Issue No 2

Author(s): Nadeem Akhtar, Malik M. Saad Missen, Dost Muhammad Khan

Keyword(s): Multi-Agent System, Location Guidance, Formal verifications, Architecture specifications, Correctness, Architecture Description Languages (ADLs), Finite State Process (FSP), Labelled Transition System (LTS), Labelled Transition System Analyzer (LTSA)

Journal:Journal of Information Communication Technologies and Robotic Applications (JICTRA), 2018, Volume 9, Issue No 1

Author(s): Nadeem Akhtar, Abdul Rehman, Dost Muhammad Khan

Keyword(s): Flood monitoring, Formal modeling, Formal verification, Safety property, Liveness property, Coloured Petri Nets (CPNs), Event-B, RODIN

Journal:Bahria University Journal of Information & Communication Technology, 2017, Volume 10, Issue No 2

Author(s): Nadeem Akhtar, Malik M. Saad Missen, Rida Zahra Hashmi

Keyword(s): Campus Management System (CMS), Event-B, Formal modeling, Formal validation, Theorem Proving, RODIN