Login / Signup

A system for deduction-based formal verification of workflow-oriented software models.

Radoslaw Klimek
Published in: Int. J. Appl. Math. Comput. Sci. (2014)
Keyphrases
  • formal verification
  • model checking
  • statistical models
  • probabilistic model
  • model selection
  • symbolic model checking
  • dynamical systems
  • software tools
  • automated verification