Automated Incremental Synthesis of Timed Automata

Abstract. In this paper, we concentrate on incremental synthesis of timed automata for automatic addition of different types of bounded response properties. Bounded response

• Type: Conference
• Year: 2006
• Where: FMICS
• Authors: Borzoo Bonakdarpour, Sandeep S. Kulkarni
• Keywords: Automatic Addition, FMICS 2006, Formal Methods, Response Properties, Response Property