Verifying Multi-agent Programs by Model Checking

ISSN： 1387-2532

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

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 feasible cases of checking multi-agent systems behavior

By Dekhtyar M. Dikovsky A. Valiev M.

Theoretical Computer Science, Vol. 303, Iss. 1, 2003-06 ,pp. : 63-81

Elsevier

Access to resources Recommend Favorite

A logic for normative multi-agent programs

By Dastani Mehdi Meyer John-Jules Ch. Grossi Davide

Journal of Logic and Computation, Vol. 23, Iss. 2, 2013-04 ,pp. : 335-354

Oxford University Press

Access to resources Recommend Favorite

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

Framework for model-based design of multi-agent systems

By Jr. Frantisek Zboril

International Journal of Autonomic Computing, Vol. 1, Iss. 2, 2009-04 ,pp. : 140-162

Inderscience Publishers

Access to resources Recommend Favorite