Login / Signup

Assessing SMT and CLP approaches for workflow nets verification.

Hadrien BrideOlga KouchnarenkoFabien PeureuxGuillaume Voiron
Published in: Int. J. Softw. Tools Technol. Transf. (2018)
Keyphrases
  • strengths and weaknesses
  • artificial intelligence
  • search algorithm
  • data mining techniques
  • constraint logic programming
  • natural language processing
  • petri net
  • model checking
  • constraint programming