Workflow Nets Verification: SMT or CLP?
Hadrien BrideOlga KouchnarenkoFabien PeureuxGuillaume VoironPublished in: FMICS-AVoCS (2016)
Keyphrases
- constraint logic programming
- model checking
- formal verification
- face verification
- workflow management systems
- statistical machine translation
- formal methods
- constraint solving
- scientific workflows
- control flow
- formal analysis
- constraint programming
- business processes
- case study
- artificial intelligence
- signature verification
- business process
- probabilistic model