Ariadne: Hybridizing Directed Model Checking and Static Analysis

This is the talk I gave at ICST17 in Japan on hybridizing directed model checking with static analysis via source code instrumentation.

Download Presentation Here