Towards Verification as a Service

摘要: Modern software systems are highly configurable and evolve over time. Simultaneously, they have high demands on their correctness trustworthiness. Formal verification technique a means to ensure critical system requirements, but still require lot of computation power manual intervention. In this paper, we argue that formal processes can be cast as workflows known from business process modeling. Single steps in the constitute tasks which flexibly combined workflows. The carried out using designated services provided by scalable computing platforms, such cloud environments. Verification share characteristics well-established results tool support workflow modeling, management analysis directly applicable. System evolution causing re-verification is supported adaptation techniques previously established reused.