SMT-based Induction Methods for Timed Systems

  title={SMT-based Induction Methods for Timed Systems},
  author={Roland Kindermann and Tommi A. Junttila and Ilkka Niemel{\"a}},
Modeling time related aspects is important in many applications of verification methods. For precise results, it is necessary to interpret time as a dense domain, e.g. using timed automata as a formalism, even though the system’s resulting infinite state space is challenging for verification methods. Furthermore, fully symbolic treatment of both timing related and non-timing related elements of the state space seems to offer an attractive approach to model checking timed systems with a large… CONTINUE READING
Highly Cited
This paper has 28 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 18 extracted citations


Publications referenced by this paper.

Similar Papers

Loading similar papers…