Translation of Intermediate Language to Timed Automata with Discrete Data

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.

• Type: Journal
• Year: 2008
• Where: FUIN
• Authors: Agata Janowska, Pawel Janowski, Dobieslaw Wróblewski
• Keywords: Classical Timed Automata, FUIN 2008, Input Formalisms, Intermediate Language