JPL Technical Report Server

SPIN or LURCH : a comparative assessment of model cheching and stochastic search for temporal properties in procedural code.

Files in this item

This item appears in the following Collection(s)

Search


Browse

My Account