Early fault detection tools-Reference-Cited by-同舟云学术

Early fault detection tools

Published:1996 Issue: Volume: Page:1-13
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Holzmann Gerard J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61042-1_34.pdf

Reference12 articles.

1. A.V. Aho, B.W. Kernighan, P.J. Weinberger. The AWK Programming Language. Addison-Wesley, 1988.

2. R. Alur, G.J. Holzmann, D. Peled. An Analyzer for Message Sequence Charts. This conference. 1996.

3. J. Berry, N. Dean, P. Fasel, M. Goldberg, E. Johnson, J. MacCuish, G. Shannon, S. Sklena. Link: A Combinatorics and Graph theory workbench for applications and research. DIMACS, Technical Report 95-15, June 1995.

4. E.R. Gasner, E. Koutsofios, S.C. North, K-P. Vo. A Technique for drawing directed graphs. IEEE Trans. on Software Eng. Vol 19, No. 3, May 1993, pp. 214–230.

5. R. Gerth, D. Peled, M.Y. Vardi, P. Wolper. Simple On-the-fly Automatic Verification of Linear Temporal Logic, PSTV95, Protocol Specification Testing and Verification. Warsaw, Poland. Chapman & Hall, Germany, 1995, 173–184.

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

1. Timing analysis of scenario-based specifications using linear programming;Software Testing, Verification and Reliability;2012-02-23

2. Timing analysis of scenario-based specifications using linear programming;Software Testing, Verification and Reliability;2010

3. The Pros and Cons of Netcharts;CONCUR 2004 - Concurrency Theory;2004

4. Test generation for intelligent networks using model checking;Tools and Algorithms for the Construction and Analysis of Systems;1997

5. Formal methods for early fault detection;Lecture Notes in Computer Science;1996