Date: 2010-09-11 18:30:43Software testing Software engineering Model checkers Computing Theoretical computer science Formal methods Model checking Formal verification Random testing Test automation SPIN model checker Acceptance testing | | Putting Flight Software Through the Paces with Testing, Model Checking, and Constraint-Solving Alex Groce1 , Gerard Holzmann1 , Rajeev Joshi1 , and Ru-Gang Xu2 1Add to Reading ListSource URL: rjoshi.orgDownload Document from Source Website File Size: 157,17 KBShare Document on Facebook
|