Evidence Explorer: A Tool for Exploring Model-Checking Proofs-Reference-Cited by-同舟云学术

Evidence Explorer: A Tool for Exploring Model-Checking Proofs

Published:2003 Issue: Volume: Page:215-218
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Dong Yifei,Ramakrishnan C. R.,Smolka Scott A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-45069-6_22

Reference8 articles.

1. Basu, S., Smolka, S.A., Ward, O.R.: Model checking the Java Meta-Locking algorithm. In: ECBS 2000, pp. 342–350 (2000)

2. Beer, I., Ben-David, S., Eisner, C., Rodeh, Y.: Efficient detection of vacuity in temporal model checking. Formal Methods in System Design 18(2), 141–163 (2001)

3. Dong, Y., Ramakrishnan, C., Smolka, S.A.: Model checking and evidence exploration. In: ECBS 2003, pp. 214–223 (2003)

4. Krasner, G., Pope, S.: A description of the model-view-controller user interface paradigm in the Smalltalk-80 system. J. Object Oriented Prog. 1(3), 26–49 (1988)

5. Lecture Notes in Computer Science;K.S. Namjoshi,2001

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

1. Exploring inconsistencies between modal transition systems;Software & Systems Modeling;2010-02-11

2. A framework for counterexample generation and exploration;International Journal on Software Tools for Technology Transfer;2007-07-24

3. Model checking the Java metalocking algorithm;ACM Transactions on Software Engineering and Methodology;2007-07

4. Deductive Spreadsheets Using Tabled Logic Programming;Logic Programming;2006

5. A Framework for Counterexample Generation and Exploration;Fundamental Approaches to Software Engineering;2005