Login / Signup

A Model Checking Method of Soundness for Workflow Nets.

Munenori YamaguchiShingo YamaguchiMinoru Tanaka
Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2009)
Keyphrases
  • model checking
  • verification method
  • temporal logic
  • dynamic programming
  • search algorithm
  • computational complexity
  • knowledge based systems
  • finite state
  • symbolic model checking