Compositional SCC Analysis for Language Emptiness

Author： Wang Chao   Bloem Roderick   Hachtel Gary   Ravi Kavita   Somenzi Fabio  

Publisher： Springer Publishing Company

ISSN： 0925-9856

Source： Formal Methods in System Design, Vol.28, Iss.1, 2006-01, pp. : 5-36

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

Automated analysis of compositional multi-agent systems

By Sharpanskykh Alexei  

International Journal of Agent-Oriented Software Engineering, Vol. 4, Iss. 2, 2010-04 ,pp. : 174-221

Inderscience Publishers

Access to resources Recommend Favorite

A compositional semantic basis for the analysis of equational Horn programs

By Alpuente M.   Falaschi M.   Vidal G.  

Theoretical Computer Science, Vol. 165, Iss. 1, 1996-09 ,pp. : 133-169

Elsevier

Access to resources Recommend Favorite

A compositional modelling and analysis framework for stochastic hybrid systems

By Hahn Ernst   Hartmanns Arnd   Hermanns Holger   Katoen Joost-Pieter  

Formal Methods in System Design, Vol. 43, Iss. 2, 2013-10 ,pp. : 191-232

Springer Publishing Company

Access to resources Recommend Favorite

On the Systematic Analysis of Natural Language Requirements with C IRCE

By Ambriola Vincenzo  

Automated Software Engineering, Vol. 13, Iss. 1, 2006-01 ,pp. : 107-167

Springer Publishing Company

Access to resources Recommend Favorite

An analysis of the use of natural language processing systems in business

By Sidhu J.   Hinde C. J.  

Behaviour and Information Technology, Vol. 16, Iss. 3, 1997-05 ,pp. : 145-156

Taylor & Francis Ltd

Access to resources Recommend Favorite