Ariadne: Hybridizing Directed Model Checking and Static Analysis | IEEE Conference Publication | IEEE Xplore