Login / Signup

A Tridimensional Approach for Studying the Formal Verification of Model Transformations.

Moussa AmraniLevi LucioGehan M. K. SelimBenoît CombemaleJürgen DingelHans VangheluweYves Le TraonJames R. Cordy
Published in: ICST (2012)
Keyphrases
  • formal verification
  • computational model
  • probabilistic model
  • experimental data
  • genetic algorithm
  • high level
  • parameter estimation
  • theoretical framework
  • statistical model
  • model checking
  • model checker