A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System

M. Usman Iftikhar Danny Weyns

Published in: FOCLASA (2012)

Keyphrases

formal verification
model checking
automated verification
model checker
bounded model checking
cooperative
multi agent
temporal logic
symbolic model checking
program slicing
distributed systems
case study
peer to peer
test bed
human behavior
dynamic programming
functional verification