Self-healing Assurance Based on Bounded Model Checking.

Vendula Hrubá Bohuslav Krena Tomás Vojnar

Published in: EUROCAST (2009)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
autonomic systems
software systems
computing systems
linear temporal logic
multi agent systems
fault model
autonomic computing
information security
repair actions
information systems
domain independent
constraint programming