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

3 Papers found for "Software Verification (3)"

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
TOWARDS Z SPECIFICATION OF PLACE TRANSITION NETS

F Ahmad, Mudasser Naseer, Zaheer Ahmad

VFAST Transactions on Software Engineering | 2015

Read Paper
Automated Verification of Star-Vote in the Applied Pi Calculus

Asad Raza Kazm, Atif Ishaq, Awais Qasim, Maryam Kanwal, Muhammad Ilyas Fakhir

VFAST Transactions on Software Engineering | 2022

Read Paper