A survey of formal methods in self-adaptive systems.

Danny Weyns M. Usman Iftikhar Didac Gil de la Iglesia Tanvir Ahmad

Published in: C3S2E (2012)

Keyphrases

formal methods
safety critical
knowledge based systems
model checking
software engineering
artificial intelligence
provably correct
formal analysis
formal specification
black box
reactive systems
learning systems
building blocks
distributed systems
databases
model checker
database systems
process algebra