Generation of All Counter-Examples for Push-Down Systems-Reference-Cited by-同舟云学术

Generation of All Counter-Examples for Push-Down Systems

Published:2003 Issue: Volume: Page:79-94
ISSN:0302-9743
Container-title:Formal Techniques for Networked and Distributed Systems - FORTE 2003
language:
Short-container-title:

Author:

Basu Samik,Saha Diptikalyan,Lin Yow-Jian,Smolka Scott A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-39979-7_6

Reference22 articles.

1. Alur, R., Dang, T., Ivančić, F.: Counter-example guided predicate abstraction of hybrid systems. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (2003)

2. Ball, T., Naik, M., Rajamani, S.K.: From symptom to cause: Localizing errors in counterexample traces. In: Symposium on Principles of Programming Languages (2003)

3. Basu, S., Kumar, K.N., Pokorny, R.L., Ramakrishnan, C.R.: Resource-constrained model checking for recursive programs. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (2002)

4. Bouajjani, A., Esparza, J., Maler, O.: Reachability analysis of pushdown automata: Application to model checking. Concurrency Theory (1997)

5. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems 8(2) (1986)

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

1. Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking;IFAC-PapersOnLine;2015

2. A random testing approach using pushdown automata;Software Testing, Verification and Reliability;2014-05-14

3. FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs;Tools and Algorithms for the Construction and Analysis of Systems;2005

4. Online Justification for Tabled Logic Programs;Functional and Logic Programming;2004