Proof-Like Counter-Examples-Reference-Cited by-同舟云学术

Proof-Like Counter-Examples

Published:2003 Issue: Volume: Page:160-175
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Gurfinkel Arie,Chechik Marsha

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-36577-X_12

Reference15 articles.

1. Lect Notes Comput Sci;A. Cimatti,1999

2. E.M. Clarke, O. Grumberg, K.L. McMillan, and X. Zhao. Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking. In Proceedings of 32nd Design Automation Conference (DAC 95), pages 427–432, San Francisco, CA, USA, 1995.

3. E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.

4. E.M. Clarke, Y. Lu, S. Jha, and H. Veith. Tree-Like Counterexamples in Model Checking. In Proceedings of the Seventeenth Annual IEEE Symposium on Logic in Computer Science (LICS’02), pages 19–29, Copenhagen, Denmark, July 2002. IEEE Computer Society.

5. M. Fröhlich and M. Werner. The Graph Visualization System daVinci — A user interface for applications. Technical Report 5/94, Department of Computer Science, Bremen University, 1994.

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

1. Trace Diagnostics for Signal-Based Temporal Properties;IEEE Transactions on Software Engineering;2023-05-01

2. Incremental Witness Generation for Branching-Time Logic CTL*;IEEE Transactions on Reliability;2022-06

3. TOrPEDO: witnessing model correctness with topological proofs;Formal Aspects of Computing;2021-11-06

4. Integrating Topological Proofs with Model Checking to Instrument Iterative Design;Fundamental Approaches to Software Engineering;2020

5. Producing Explanations for Rich Logics;Formal Methods;2018