Title	Text File Encryption Empowered with Context Sensitive Grammar Approach
Author	Irfan Abbas, Shahan Yamin Siddiqui, Munib Ahmad, Hamza Iqbal, Waqar Ahmad, Muhammad Usama Mubashir, Abdul Hannan Khan, Bilal Shoaib, Muhammad Adnan Khan
Citation	Vol. 20  No. 7  pp. 1-10
Keywords	Context-Sensitive Grammar (CSG), Theory of Computation (ToC), Context-Free Grammar (CFG), Formal Languages Encryption (FLE), Secret key (SK), AES, Grammar, Encryption, cryptosystem, Data Security, Decryption.

Title	Formal Verification of Twin Clutch Gear Control System
Author	Muhammad Zaman, Amina Mahmood, Muhammad Atif, Muhammad Adnan Hashmi, Muhammad Kashif, Mudassar Naseer
Citation	Vol. 24  No. 3  pp. 151-159
Keywords	Formal Specification, Gear Control System, Requirement Verification, Model-checking.

Title	Formal Analysis of Distributed Shared Memory Algorithms
Author	Muhammad Atif, Muhammad Adnan Hashmi, Mudassar Naseer, and Ahmad Salman Khan
Citation	Vol. 24  No. 4  pp. 192-196
Keywords	Virtual memory, Distributed Algorithm, Formal Specification, Verification.