Searching for "Using Dynamic Symbolic Execution to Improve Deductive Verification." – 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.

Using Dynamic Symbolic Execution to Improve Deductive Verification
by Dries Vanoverberghe, Nikolaj Bjørner, Jonathan De Halleux, Wolfram Schulte, Nikolai Tillmann
…Using Dynamic Symbolic Execution to Improve Deductive Verification Dries Vanoverberghe, Nikolaj…
Add To MetaCart

Showing 1 through 1.

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