Ich finde im Internet leider keine befriedigende Antwort was Modell-basierte Verifikation von Software genau ist?
Dass es so verstanden, dass es sich um eine ,Qualitätssicherung" bzw. um die Überprüfung der Korrektheit von Software handelt . Aber was meint man mit modell-basiert?
Kann jemand weiterhelfen?
Merci 
hier ein video
http://www.youtube.com/watch?v=vJRMXRF8onw
hier ein beispiel
http://swt.cs.tu-berlin.de/asim-sts-05/tagband/kalix…
verification gibts da in mehreren sinnen , wie zu lesen die formale ,
aber eigentlich kann man sagen man verifiziert mit dem model ansatz das programmierte .
sozusagen eine testumgebung auf sotware basis , was dort verifiziert ist, funktioniert auf der hardware .