Towards model checking interpreted systems

Authors:
A. Lomuscio;F. Raimondi;M. J. Sergot
Affiliations:
King's College, London, UK;King's College, London, UK;Imperial College, London, UK
Venue:
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Year:
2003

Citing 3
Cited 4

Reasoning about knowledge

Reasoning about knowledge
Model checking

Model checking
Model checking multi-agent systems with MABLE

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2

The complexity of model checking concurrent programs against CTLK specifications

DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Survey: Linear Temporal Logic Symbolic Model Checking

Computer Science Review
GOAL agents instantiate intention logic

Logic Programs, Norms and Action
Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2

Quantified Score

Hi-index	0.00

Visualization

Abstract

We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify static properties of multi-agent systems formalised on interpreted systems semantics.