ProVer: an SMT-based approach for process verification.

Souheib Baarir Reda Bendraou Hakan Metin Yoann Laurent

Published in: MoDELS (Workshops) (2018)

Keyphrases

multiscale
database
real time
databases
information systems
case study
hidden markov models
business processes
model checking