Efficient Guided Symbolic Reachability Using Reachability Expressions.

Dina Thomas, Supratik Chakraborty, Paritosh K. Pandya

Browse the full TACAS paper archive.