Verification of multi decisional reactive agent using SMV model checker.

Abdelhay Haqiq Bouchaib Bounabat

Published in: IDT (2013)

Keyphrases

model checker
model checking
formal verification
symbolic model checking
agent architecture
temporal logic
reactive systems
formal methods
multi agent
multi agent systems
formal specification
multiagent systems
test suite
description language
decision making
autonomous agents
genetic algorithm
concurrent systems