From Scenarios to Timed Automata: Building Specifications from ...

6 downloads 1445 Views 739KB Size Report
ios. We use timed automata [l] as a target specification language. The paper is organized as follow. We present the ... and operation check id must have occured 60 seconds after it. ...... to the application of theorem proving to prob- lem solving ...