Back to Results
First PageMeta Content
Software 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 1
Add to Reading List

Document Date: 2010-09-11 18:30:43


Open Document

File Size: 157,17 KB

Share Result on Facebook
UPDATE