The NCSU Concurrency Workbench-Reference-Cited by-同舟云学术

The NCSU Concurrency Workbench

Published:1996 Issue: Volume: Page:394-397
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Cleaveland Rance,Sims Steve

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61474-5_87.pdf

Reference16 articles.

1. The NCSU Concurrency Workbench home page. URL http://www4.ncsu.edu/eos/users/r/rance/WWW/ncsu-cw.html.

2. G. Bhat and R. Cleaveland. Efficient local model checking for fragments of the modal μ-calculus. In Margaria and Steffen [13], pages 107–126.

3. U. Celikkan. Semantic Preorders in the Automated Verification of Concurrent Systems. PhD thesis, North Carolina State University, 1995.

4. U. Celikkan and R. Cleaveland. Computing diagnostic tests for incorrect processes. In Proceedings of the IFIP Symposium on Protocol Specification, Testing and Verification, pages 263–278, Lake Buena Vista, Florida, June 1992. North-Holland.

5. R. Cleaveland. On automatically explaining bisimulation inequivalence. In E.M. Clarke and R.P. Kurshan, editors, Computer Aided Verification (CAV '90), volume 531 of Lecture Notes in Computer Science, pages 364–372, Piscataway, NJ, June 1990. Springer-Verlag.

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

1. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21

2. A Novel Classification Technique based on Formal Methods;ACM Transactions on Knowledge Discovery from Data;2023-06-28

3. A Survey of Practical Formal Methods for Security;Formal Aspects of Computing;2022-03-31

4. Equivalence Checking 40 Years After: A Review of Bisimulation Tools;Lecture Notes in Computer Science;2022

5. Simulation Relations and Applications in Formal Methods;Lecture Notes in Computer Science;2022