Login / Signup

A Refinement based Verification Approach of BPMN Models using NuSMV.

Salma AyariYousra Bendaly HlaouiLeila Jemni Ben Ayed
Published in: ICSOFT (2018)
Keyphrases
  • model checking
  • model driven
  • process model
  • business process models
  • probabilistic model
  • business processes
  • symbolic model checking
  • metamodel
  • model checker