Symbolic reachability analysis based on SAT-solvers (2000)

by P Abdula, P Bjesse, N Een
Venue:in Proceedings of the 6th International Conference on Tools and Algorithms for the Analysis and Construction of Systems (TACAS’2000