Formal Verification of Probabilistic Swarm Behaviours.

Savas Konur Clare Dixon Michael Fisher

Published in: ANTS Conference (2010)

Keyphrases

formal verification
model checking
symbolic model checking
model checker
automated verification

bounded model checking
probabilistic model
swarm intelligence
temporal logic
uncertain data

functional verification
cooperative
program slicing
generative model
particle swarm optimization

formal specification
orders of magnitude
open source
programming language
multi objective