Fundamenta Informaticae > 2008 > Vol. 85, nr 1-4 > 425-440
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] P. A. Abdulla, P. Bjesse, and N. Eén. Symbolic reachability analysis based on SAT-solvers. In Proc. of the 6th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'00), volume 1785 of LNCS, pages 411-425. Springer-Verlag, 2000.
-
[2] R. Alur and D. Dill. Automata-theoretic verification of real-time systems. In Formal Methods for Real-Time Computing, Trends in Software Series, pages 55-82. John Wiley & Sons, 1996.
-
[3] G. Behrmann, K. G. Larsen, J. Pearson, C.Weise, andW. Yi. Efficient timed reachability analysis using Clock Difference Diagrams. In Proc. of the 11th Int. Conf. on Computer Aided Verification (CAV'99), volume 1633 of LNCS, pages 341-353. Springer-Verlag, 1999.