Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution
CIVL: the concurrency intermediate verification language