Sign in

BProVe: a formal verification framework for business process models.

Flavio CorradiniFabrizio FornariAndrea PoliniBarbara ReFrancesco TiezziAndrea Vandin
Published in: ASE (2017)
Keyphrases
  • formal verification
  • business process models
  • process model
  • software architecture
  • real world
  • artificial intelligence
  • model checking
  • representation language