Pages that link to "Item:Q968302"

The following pages link to Verification and falsification of programs with loops using predicate abstraction (Q968302):

Displaying 2 items.

• Under-approximating loops in C programs for fast counterexample detection (Q746774) (← links)
• Proving Safety with Trace Automata and Bounded Model Checking (Q5206955) (← links)