Verifying Cloud Systems using a Bigraphical Maude-based Model Checker.

Zakaria Benzadri Chafia Bouanaka Faïza Belala

Published in: ESaaSA@CLOSER (2014)

Keyphrases

model checking
formal specification
model checker
temporal logic
building blocks
knowledge based systems
formal verification
machine learning
artificial intelligence
expert systems
distributed systems
description language
formal methods