Login / Signup

Continuous Formal Verification of Microservice-Based Process Flows.

Matteo Camilli
Published in: ECSA Companion (2020)
Keyphrases
  • formal verification
  • artificial intelligence
  • automated verification
  • genetic algorithm
  • information systems
  • process model