Combining the design of industrial systems with effective verification techniques-Reference-Cited by-同舟云学术

Combining the design of industrial systems with effective verification techniques

Published:1994 Issue: Volume: Page:639-658
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Cuéllar Jorge,Wildgruber Isolde,Barnard Dieter

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58555-9_120.pdf

Reference12 articles.

1. Dieter Barnard. Computer-Aided Verification of Concurrent Systems. PhD thesis, Faculty of Informatics, Technical University of Munich, D-80290 Munich, Germany, In preparation 1995.

2. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang. Symbolic model checking: 1020 states and beyond. Information and Computation, 98:142–170, 1992.

3. Randal E. Bryant. Symbolic boolean manipulation with ordered binarydecision diagrams. ACM Computing Surveys, 24(3):293–318, September 1992.

4. Jorge Cuéllar and Dieter Barnard. A Tutorial Introduction to TLT. Part I: The Design of Distributed Systems. Technical report, ZFE BT SE 11, Corporate Research and Development, Siemens AG, D-81730 Munich, 1994.

5. Jorge Cuéllar, Dieter Barnard, and Martin Huber. A Tutorial Introduction to TLT. Part II: The Verification of Distributed Systems. Technical report, ZFE BT SE 11, Corporate Research and Development, Siemens AG, D-81730 Munich, 1994.

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

1. An approach to safety critical systems design;Lecture Notes in Computer Science;1997

2. Proving liveness of fair transition systems;Lecture Notes in Computer Science;1996

3. TLT;Lecture Notes in Computer Science;1995