Providing a formal linkage between MDG and HOL

Author： Xiong Haiyan Curzon Paul Tahar Sofiène Blandford Ann

ISSN： 0925-9856

Source： Formal Methods in System Design, Vol.30, Iss.2, 2007-04, pp. : 83-116

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Formalization of Fixed-Point Arithmetic in HOL

By Akbarpour Behzad Tahar Sofiène Dekdouk Abdelkader

Formal Methods in System Design, Vol. 27, Iss. 1-2, 2005-09 ,pp. : 173-200

Springer Publishing Company

Access to resources Recommend Favorite

Relations between secrets: two formal analyses of the Yahalom protocol

By Paulson L.C.

Journal of Computer Security, Vol. 9, Iss. 3, 2001-01 ,pp. : 197-216

Ios Press

Access to resources Recommend Favorite

Comparision Between Features of CbO based Algorithms for Generating Formal Concepts

International Journal of Conceptual Structures and Smart Applications (IJCSSA), Vol. 4, Iss. 1, 2016-01 ,pp. : 1-34

IGI Global_journal

Access to resources Recommend Favorite

MDG-SAT: an automated methodology for efficient safety checking

By Hoque Khaza Anuarul

International Journal of Critical Computer-Based Systems, Vol. 3, Iss. 1-2, 2012-01 ,pp. : 4-25

Inderscience Publishers

Access to resources Recommend Favorite

On the non-termination of MDG-based abstract state enumeration

By Mohamed O.A. Song X. Cerny E.

Theoretical Computer Science, Vol. 300, Iss. 1, 2003-05 ,pp. : 161-179

Elsevier

Access to resources Recommend Favorite