Model Checking Programs

Author： Visser W.  

Publisher： Springer Publishing Company

ISSN： 0928-8910

Source： Automated Software Engineering, Vol.10, Iss.2, 2003-04, pp. : 203-232

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

Heuristics for model checking Java programs

By Groce Alex   Visser Willem  

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 4, 2004-08 ,pp. : 260-276

Springer Publishing Company

Access to resources Recommend Favorite

Verifying Multi-agent Programs by Model Checking

By Bordini Rafael  

Autonomous Agents and Multi-Agent Systems, Vol. 12, Iss. 2, 2006-03 ,pp. : 239-256

Springer Publishing Company

Access to resources Recommend Favorite

Model Checking Erlang Programs - Abstracting the Context-Free Structure

By Huch F.  

Electronic Notes in Theoretical Computer Science, Vol. 55, Iss. 3, 2004-01 ,pp. : 1-18

Elsevier

Access to resources Recommend Favorite

Formula-based abstractions and symbolic execution for model checking programs

By Santone A.   Vaglini G.  

Microprocessors and Microsystems, Vol. 28, Iss. 2, 2004-03 ,pp. : 69-76

Elsevier

Access to resources Recommend Favorite

Model Checking with Strong Fairness

By Kesten Yonit   Pnueli Amir   Raviv Li-On   Shahar Elad  

Formal Methods in System Design, Vol. 28, Iss. 1, 2006-01 ,pp. : 57-84

Springer Publishing Company

Access to resources Recommend Favorite