Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata.

Roland Kindermann, Tommi A. Junttila, Ilkka Niemel

Browse the full FORTE paper archive.