Model Checking Erlang Programs - Abstracting the Context-Free Structure

Author： Huch F.  

Publisher： Elsevier

ISSN： 1571-0661

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

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

Model Checking Programs

By Visser W.  

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

Springer Publishing Company

Access to resources Recommend Favorite

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

Cooperation in context-free grammars

By Dassow J.   Mitrana V.  

Theoretical Computer Science, Vol. 180, Iss. 1, 1997-06 ,pp. : 353-361

Elsevier

Access to resources Recommend Favorite

Model checking with bounded context switching

By Holzmann Gerard  

Formal Aspects of Computing, Vol. 23, Iss. 3, 2011-05 ,pp. : 365-389

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