Modular Verification of Open Features Using Three-Valued Model Checking

ISSN： 0928-8910

Source： Automated Software Engineering, Vol.12, Iss.3, 2005-07, pp. : 349-382

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

Bytecode Verification by Model Checking

By Basin David Friedrich Stefan Gawkowski Marek

Journal of Automated Reasoning, Vol. 30, Iss. 3-4, 2003-05 ,pp. : 399-444

Springer Publishing Company

Access to resources Recommend Favorite

Data structures for symbolic multi-valued model-checking

By Chechik Marsha Gurfinkel Arie Devereux Benet Lai Albert Easterbrook Steve

Formal Methods in System Design, Vol. 29, Iss. 3, 2006-11 ,pp. : 295-344

Springer Publishing Company

Access to resources Recommend Favorite

Three-valued completion for abductive logic programs

By Teusink F.

Theoretical Computer Science, Vol. 165, Iss. 1, 1996-09 ,pp. : 171-200

Elsevier

Access to resources Recommend Favorite

Model checking-based safety verification for railway signal safety protocol-I

By Meng Mei Zhongwei Xu Xi Wang Yongbing Wan

International Journal of Computer Applications in Technology, Vol. 46, Iss. 3, 2013-03 ,pp. : 195-202

Inderscience Publishers

Access to resources Recommend Favorite

A model checking-based approach for security policy verification of mobile systems

By Braghin Chiara

Formal Aspects of Computing, Vol. 23, Iss. 5, 2011-09 ,pp. : 627-648

Springer Publishing Company

Access to resources Recommend Favorite