Searching for "Testing and Verifying Invariant Based Programs in the SOCOS Environment." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Verifying invariant based programs in the SOCOS environment
by Ralph-johan Back, Johannes Eriksson, Magnus Myreen — 2006 — In Teaching Formal Methods: Practice and Experience (BCS Electronic Workshops in Computing). BCS-FACS
… Programs in the SOCOS Environment TUCS Technical Report No 797, December 2006 Testing and Verifying…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB