Formal Verification - Articles - Scientific Research Publishing

A Comparative Analysis of Tools for Verification of Security Protocols (Articles)

Nitish Dalal, Jenny Shah, Khushboo Hisaria, Devesh Jinwala

Int'l J. of Communications, Network and System Sciences Vol.3 No.10，October 27, 2010

DOI: 10.4236/ijcns.2010.310104 7,232 Downloads 15,174 Views Citations
Integrating Formal Methods in XP—A Conceptual Solution (Articles)

Shagufta Shafiq, Nasir Mehmood Minhas

Journal of Software Engineering and Applications Vol.7 No.4，April 17, 2014

DOI: 10.4236/jsea.2014.74029 5,085 Downloads 7,185 Views Citations
Formal Verification of Robertson-Type Uncertainty Relation (Articles)

Takaaki Masuhara, Toru Kuriyama, Masakazu Yoshida, Jun Cheng

Journal of Quantum Information Science Vol.5 No.2，June 11, 2015

DOI: 10.4236/jqis.2015.52008 3,280 Downloads 4,080 Views Citations
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata (Articles)

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

Journal of Software Engineering and Applications Vol.3 No.8，August 26, 2010

DOI: 10.4236/jsea.2010.38093 4,694 Downloads 7,817 Views Citations
Formal Verification of Secrecy in Group Key Protocols Using Event-B (Articles)

Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed

Int'l J. of Communications, Network and System Sciences Vol.5 No.3，March 21, 2012

DOI: 10.4236/ijcns.2012.53021 3,724 Downloads 5,964 Views Citations
State Based Static and Dynamic Formal Analysis of UML State Diagrams (Articles)

Fahad Alhumaidan

Journal of Software Engineering and Applications Vol.5 No.7，June 15, 2012

DOI: 10.4236/jsea.2012.57056 5,028 Downloads 7,877 Views Citations
Model Analysis of Equivalence Classes in UML Events Relations (Articles)

Nazir Ahmad Zafar

Journal of Software Engineering and Applications Vol.6 No.12，December 25, 2013

DOI: 10.4236/jsea.2013.612078 3,292 Downloads 4,604 Views Citations
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study (Articles)

Nadeem Akhtar, Muhammad Nauman

Journal of Software Engineering and Applications Vol.8 No.2，February 12, 2015

DOI: 10.4236/jsea.2015.82006 2,977 Downloads 3,789 Views Citations
Implementation of HACCP Plan for the Production of Egyptian Kishk (A Traditional Fermented Cereal-Milk Mixture) (Articles)

Mohamed M. Abd El-Razik, Mohamed F. Y. Hassan, Mohamed G. E. Gadallah

Food and Nutrition Sciences Vol.7 No.13，November 15, 2016

DOI: 10.4236/fns.2016.713116 2,301 Downloads 5,128 Views Citations
This article belongs to the Special Issue on Food Safety
Formal Methods for Commercial Applications Issues vs. Solutions (Articles)

Saiqa Bibi, Saira Mazhar, Nasir Mehmood Minhas, Irfan Ahmed

Journal of Software Engineering and Applications Vol.7 No.8，July 22, 2014

DOI: 10.4236/jsea.2014.78062 7,384 Downloads 11,754 Views Citations
An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z (Articles)

Nasir Mehmood Minhas, Asad Masood Qazi, Sidra Shahzadi, Shumaila Ghafoor

Journal of Software Engineering and Applications Vol.8 No.8，August 19, 2015

DOI: 10.4236/jsea.2015.88037 5,473 Downloads 8,233 Views Citations
Integrate Liveness Detection with Iris Verification to Construct Support Biometric System (Articles)

Hanaa Mohsin Ahmad, Bushra Jabbar Abdulkareem

Journal of Computer and Communications Vol.4 No.1，January 26, 2016

DOI: 10.4236/jcc.2016.41003 4,872 Downloads 5,764 Views Citations
Characteristics of Acute Flaccid Paralysis Reported by the Surveillance System and Verified by WHO Officer in Akwa Ibom State-Nigeria, 2006-2012 (Articles)

Bassey Enya Bassey, Vaz Gama Rui, Alex Ntale Gasasira, Mkanda Pascal, Goitom Weldegbriel, Ticha Johnson Mulum, Sylvester T. Maleghemi, Emem Abasi Bassey

Health Vol.6 No.19，November 12, 2014

DOI: 10.4236/health.2014.619299 3,904 Downloads 5,040 Views Citations
Implication of Land Regularization in Accessing Credits from Financial Institutions in Tanzania (Articles)

Jane J. Mbilinyi, Abiud L. Kaswamila, Emiliana A. Assenga

Current Urban Studies Vol.10 No.4，November 9, 2022

DOI: 10.4236/cus.2022.104032 42 Downloads 352 Views Citations
A Co-verification Method Based on TWCNP-OS for Two-way Cable Network SOC (Articles)

Chong LI, Xiaotong ZHANG, Yadong WAN, Qin WANG

Int'l J. of Communications, Network and System Sciences Vol.1 No.2，July 10, 2008

DOI: 10.4236/ijcns.2008.12024 5,035 Downloads 8,973 Views Citations
Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models (Articles)

Mohamed El-Kamel Hamdane, Allaoui Chaoui, Martin Strecker

Journal of Software Engineering and Applications Vol.6 No.3，March 29, 2013

DOI: 10.4236/jsea.2013.63019 4,192 Downloads 8,025 Views Citations
A Study on Configuration and Integration of Sub-Systems to System-of-Systems with Rule Verification (Articles)

Tim Warnecke

Engineering Vol.7 No.10，October 26, 2015

DOI: 10.4236/eng.2015.710056 2,690 Downloads 3,226 Views Citations
Some Studies on the Lorentz Theory of Radiation Reaction in Relation to a Charged Particle Acted on by a Constant Force in a Finite Time Interval (Articles)

Rajat Roy

Open Access Library Journal Vol.3 No.2，February 4, 2016

DOI: 10.4236/oalib.1102334 870 Downloads 1,415 Views Citations
Verification of Mongolian Cyclone-Induced Snowstorm Model Forecast in Jilin Province, China (Articles)

Dongxue Fu, Xueyan Yang, Ning Wang, Yao Yao

Journal of Geoscience and Environment Protection Vol.5 No.8，July 21, 2017

DOI: 10.4236/gep.2017.58003 732 Downloads 1,200 Views Citations
Accuracy Comparison of 4D Computed Tomography (4DCT) and 4D Cone Beam Computed Tomography (4DCBCT) (Articles)

Tzu-Cheng Lee, Stephen R. Bowen, Sara St. James, George A. Sandison, Paul E. Kinahan, Matthew J. Nyflot

Int'l J. of Medical Physics, Clinical Eng. and Radiation Oncology Vol.6 No.3，August 30, 2017

DOI: 10.4236/ijmpcero.2017.63029 1,955 Downloads 3,954 Views Citations

<12 3 ...>

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies