Searching for "Interactive Verification of Concurrent Systems using Symbolic Execution." – 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.

Interactive Verification of Concurrent Systems using Symbolic Execution
by Michael Balser, Simon Bäumler, Wolfgang Reif, Gerhard Schellhorn
…Interactive Verification of Concurrent Systems using Symbolic Execution Michael Balser, Simon…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB