Model checking via reachability testing for timed automata-Reference-Cited by-同舟云学术

Model checking via reachability testing for timed automata

Published:1998 Issue: Volume: Page:263-280
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Aceto Luca,Burgueño Augusto,Larsen Kim G.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0054177

Reference24 articles.

1. L. Aceto, P. Bouyer, A. Burgueno, and K. G. Larsen. The limitations of testing for timed automata, 1997. Forthcoming paper.

2. L. Aceto, A. Burgueno, and K. G. Larsen. Model checking via reachability testing for timed automata. Research Report RS-97-29, BRICS, Aalborg University, November 1997.

3. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183–235, 1994.

4. R. Alur and T.A. Henzinger. A really temporal logic. Journal of the ACM, 41(1):181–204, 1994. Preliminary version appears in Proc. 30th FOCS, 1989.

5. J. Bengtsson, D. Griffioen, K. Kristoifersen, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi. Verification of an audio protocol with bus collision using Uppaal. In R. Alur and T. A. Henzinger, editors, Proc. of the 8th. International Conference on Computer-Aided Verification, CAV'96, volume 1102 of Lecture Notes in Computer Science, New Brunswick, New Jersey, USA, July 31–August 3 1996. Springer-Verlag.

Cited by 43 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Extensible Proof Systems for Infinite-State Systems;ACM Transactions on Computational Logic;2023-11-18

2. Execution trace‐based model verification to analyze multicore and real‐time systems;Concurrency and Computation: Practice and Experience;2022-05-04

3. Error Finding in Real-Time Systems using Mutants of Temporal Properties;2021 40th International Conference of the Chilean Computer Science Society (SCCC);2021-11-15

4. Automated Generation of Model-Based Constraints for Common Multi-core and Real-Time Applications Using Execution Tracing;International Journal of Parallel Programming;2021-01-01

5. Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata;Formal Aspects of Component Software;2020