Symbolic Verification and Analysis of Discrete Timed Systems

@article{Ruf2003SymbolicVA,
  title={Symbolic Verification and Analysis of Discrete Timed Systems},
  author={J{\"u}rgen Ruf and Thomas Kropf},
  journal={Formal Methods in System Design},
  year={2003},
  volume={23},
  pages={67-108}
}
This paper presents a novel approach for real-time model checking. It combines the efficiency of traditional symbolic model checking with possibilities to describe and specify real-time systems. Using multi-terminal binary decision diagrams to represent time and time intervals, it becomes possible to transfer efficient algorithms and optimization heuristics known from standard CTL model checking to real-time applications. By introducing a new variant of models called I/O-interval structures we… CONTINUE READING
BETA

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-2 OF 2 CITATIONS