IEEE - Institute of Electrical and Electronics Engineers, Inc. - Incremental Inductive Verification of Parameterized Timed Systems

2015 15th International Conference on Application of Concurrency to System Design (ACSD)

Author(s): Tobias Isenberg
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 June 2015
Conference Location: Brussels, Belgium
Conference Date: 21 June 2015
Page(s): 1 - 9
ISBN (Electronic): 978-1-4673-7882-6
ISSN (Electronic): 1550-4808
DOI: 10.1109/ACSD.2015.13
Regular:

We propose an incremental workflow for the verification of parameterized systems modeled as symmetric networks of timed automata.Starting with a small number of timed automata in the network, a... View More

Advertisement