241 followers
Under-approximating loops in C programs for fast counterexample detection. - Daniel Kroening, Matt Lewis, Georg… http://t.co/YytTktkms0
Under-approximating loops in C programs for fast counterexample detection. - Daniel Kroening, Matt Lewis, Georg… http://t.co/YytTktkms0