Module Checking

Author： Kupferman O.   Vardi M.Y.   Wolper P.  

Publisher： Academic Press

ISSN： 0890-5401

Source： Information and Computation, Vol.164, Iss.2, 2001-01, pp. : 322-344

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

On invariant checking

By Zhang Zhihai   Kapur Deepak  

Journal of Systems Science and Complexity, Vol. 26, Iss. 3, 2013-06 ,pp. : 470-482

Springer Publishing Company

Access to resources Recommend Favorite

Model Checking Mobile Processes

By Dam M.  

Information and Computation, Vol. 129, Iss. 1, 1996-08 ,pp. : 35-51

Academic Press

Access to resources Recommend Favorite

DP lower bounds for equivalence-checking and model-checking of one-counter automata

By Jancar P.   Kucera A.   Moller F.   Sawa Z.  

Information and Computation, Vol. 188, Iss. 1, 2004-01 ,pp. : 1-19

Elsevier

Access to resources Recommend Favorite

Pushdown Processes: Games and Model-Checking

By Walukiewicz I.  

Information and Computation, Vol. 164, Iss. 2, 2001-01 ,pp. : 234-263

Academic Press

Access to resources Recommend Favorite

Coloration Neighbourhood Search With Forward Checking

By Prestwich S.  

Annals of Mathematics and Artificial Intelligence, Vol. 34, Iss. 4, 2002-04 ,pp. : 327-340

Springer Publishing Company

Access to resources Recommend Favorite