Symbolic Reachability Analysis Based on SAT-Solvers.

Parosh Aziz Abdulla, Per Bjesse, Niklas En

Browse the full TACAS paper archive.