Module Brab (.ml)

module Brab: sig .. end

Backward reachability with Approximations and Backtracking

val brab : Ast.t_system -> Bwd.result

Backtracking procedure that uses approximated backward reachability (Bwd).

brab system calls BRAB on the given system.