Affiliations: Institute of Informatics, Warsaw University, Banacha 2,
02-097 Warsaw, Poland. {janowska, janowski}@mimuw.edu.pl | Institute of Computer Science, PAS, Ordona 21, 01-237
Warsaw, Poland. [email protected]
Note: [] Address for correspondence: Institute of Informatics, Warsaw
University, Banacha 2, 02-097 Warsaw, Poland
Abstract: The aim of this work is to describe the translation from
Intermediate Language, one of the input formalisms of the model checking
platform VerICS, to timed automata with discrete data and to compare it with
the translation to classical timed automata. The paper presents syntax and
semantics of both formalisms, the translation rules as well as a simple
example.
