Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata.

Zuxi Chen, Huixing Fang, Xiangyu Luo

Browse the full TASE paper archive.