Cloud Certification Process Validation Using Formal Methods.

Maria Krotsiani Christos Kloukinas George Spanoudakis

Published in: ICSOC (2017)

Keyphrases

formal methods
artificial intelligence
formal specification
safety critical
information systems
databases
black box
formal analysis
development lifecycle