DefinePK

DefinePK hosts the largest index of Pakistani journals, research articles, news headlines, and videos. It also offers chapter-level book search.

Select Collection
Categories
Religious and Islamic Studies Social Sciences Humanities and Arts Natural and Physical Sciences Medical and Health Sciences Engineering and Technology Agricultural and Environmental Sciences Business, Economics, and Management Sciences Law and Political Sciences Language, Literature, and Linguistics

80 Papers found for "Formal Methods (80)"

INTEGRATING FORMAL METHODS INTO CLOUD BASED LEARNING MANAGEMENT SYSTEM SECURITY: A LIGHTWEIGHT FORMAL DEVELOPMENT FRAMEWORK

Azka Sarfraz, Imran Shehzad, Muhammad Jamil, Shafiq Hussain

Spectrum of Engineering Sciences | 2025

Read Paper
Formalism Describing the Object Models for Domains on a Unified Metamodel of Object-Oriented Database Applications Terms

Pavel P. Oleynik

Journal of computer science technology updates | 2015

Read Paper
Characterizing Faults on Real-Time Systems Based on Grid Automata

Adilson Luiz Bonifacio, Gilson Doi

Journal of computer science technology updates | 2016

Read Paper
A SYSTEMATIC APPROACH TO FORMAL VERIFICATION AND VALIDATION OF EMBEDDED SYSTEMS: ENHANCING RELIABILITY AND SAFETY

Aafia Latif, Abdul Manan Razzaq, Alina Shaikh, Rana Muhammad Nadeem, Sadia Latif

Kashf Journal of Multidisciplinary Research (KJMR) | 2025

Read Paper
Learning-Based Testing Using SAL (Symbolic Analysis Laboratory) Model Checker

Anjum Ara Shah, Muddassar Azam Sindhu

NUML international journal of engineering and computing | 2023

Read Paper
The Modeling and Verification of Trainify

Jawad Ali Abbasi, Kainat Fatima, Muhammad Talha Khalid, Sidra Sultana

International journal of emerging multidisciplinaries. Computer science and artificial intelligence | 2022

Read Paper
Bridging the Gap between Denotational Semantics of Traditional Contract And Smart Contract

Chin Lay Gan, Wai Wai Wong

Asia proceedings of social sciences. | 2018

Read Paper
A technique for checking the adequacy of formal model

Alexander Chemeris, Igor Tomicic, Jamil Abedalrahim Jamil Alsayaydeh, Vadym Shkarupylo, Valentyna Dusheba

ARPN Journal of Engineering and Applied Sciences | 2021

Read Paper
Formal specification approach in designing database system using Z

Julaily Aida Jusoh, Mohd Yazid Md Saman, Mustafa Man

ARPN Journal of Engineering and Applied Sciences | 2015

Read Paper
Formal specification of software development using business rules approach

Cecilia E Nugraheni, Oerip S. Santoso, ST. M.T., Yaya Setiyadi, S. Si, M. T.

ARPN Journal of Engineering and Applied Sciences | 2015

Read Paper