Three notes on the complexity of model checking fixpoint logic with chop

E-ISSN： 1290-385x|41|2|177-190

ISSN： 0988-3754

Source： RAIRO - Theoretical Informatics and Applications, Vol.41, Iss.2, 2007-07, pp. : 177-190

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

Development of a blocking logic checking apparatus for substation measurement and control devices

MATEC Web of conference, Vol. 139, Iss. issue, 2017-12 ,pp. : 00002-00002

Edp Sciences

Access to resources Recommend Favorite

Three complexity functions

By Ferenczi Sébastien Hubert Pascal

RAIRO - Theoretical Informatics and Applications, Vol. 46, Iss. 1, 2012-03 ,pp. : 67-76

Edp Sciences

Access to resources Recommend Favorite

MODEL COMPLEXITY AND RELIABILITY ARE NOT SYNONYMOUS

By Freedman Paul L.

Proceedings of the Water Environment Federation, Vol. 2002, Iss. 2, 2002-01 ,pp. : 1607-1614

Water Environment Federation

Access to resources Recommend Favorite

Fixpoint alternation: arithmetic, transition systems, and the binary tree

By Bradfield J. C.

RAIRO - Theoretical Informatics and Applications, Vol. 33, Iss. 4-5, 2010-03 ,pp. : 341-356

Edp Sciences

Access to resources Recommend Favorite

Combining Theorem Proving and Model Checking in the Safety-Critical Software Development through Translating Event-B to SMV

By Sen Liang

MATEC Web of conference, Vol. 128, Iss. issue, 2017-10 ,pp. : 04004-04004

Edp Sciences

Access to resources Recommend Favorite