Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata

Abdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob

In this work, we consider translating tock-CSP into Timed Automata for UPPAAL to facilitate using UPPAAL in reasoning about temporal specifications of tock-CSP models. The process…