The Refinement Check of Added Dynamic Diagrams Based onp-Calculus

of Science andTechnology, China

#p-calculus; UML; sequence diagram; statechart diagram; weak open bisimulation

Verification of Cooperative Transient Fault Diagnosis and Recovery in Critical

Zibouda Aliouat

Formal Architecture and Verification of a Smart Flood Monitoring System-of-Systems

Nadeem Akhtar1 and Saima Khan2 1Department of Computer Science and IT, the Islamia University of Bahawalpur, Pakistan 2Department of Computer Science Faculty of Computer Science and Information Technology, Virtual

#Flood monitoring; system-of-systems; behavioral modeling; formal verification; correctness; safety property

Specification of Synchronous Network Flooding in Temporal Logic

Ra’ed Bani Abdelrahman1, Rafat Alshorman2, Walter Hussak3, and Amitabh Trehan3

#Network flooding # linear temporal logic # model checking

Modeling and Formal Verification of IMPP

#Formal methods #verification of communication protocols #instant messaging systems #verification tools #spin #LTL #PROMELA

On the Verification by Approximation of Duration Systems

Narjes Berregeb,Riadh Robbana

#Approximation #digitization #duration systems #formal verification #real-time scheduler