Login / Signup

Formal verification of static software models in MDE: A systematic review.

Carlos A. GonzálezJordi Cabot
Published in: Inf. Softw. Technol. (2014)
Keyphrases
  • formal verification
  • systematic review
  • probabilistic model
  • model selection
  • complex systems
  • model checking
  • statistical models