Home
Login
Register

Search Results

Search Results for: Formal modeling

Results: 0-2 of 2

Translating Activity Diagram from Duration Calculus for Modeling of Real-Time Systems and its Formal Verification using UPPAAL and DiVinE

Journal:Mehran University Research Journal of Engineering and Technology, 2016, Volume 35, Issue No 1

Author(s): MUHAMMAD ABDUL BASIT UR RAHIM, FAHIM ARIF

Keyword(s): Formal Semantics, Formal modeling, Real-Time System, Verification, UPPAAL, DiVinE

Formal Verification of Safety and Liveness Properties using Coloured Petri-Nets: A Flood Monitoring, Warning, and Rescue System

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

Results: 0-2 of 2

Category

SOCIAL AND CULTURAL STUDIES
ENGINEERING AND TECHNOLOGY

Year

2015 or earlier
2016
2017
2018
2019
2020
2021
2022

Journal

Close

About PRDB.pk

Pakistan Research Database helps individuals, professionals and institutions to access all research published in Pakistan at one platform.

CareerGuidance
eAdmissions

About Us
Work for PRDB
Contact Us
Privacy Policy
Copyright Policy
End User Terms