Author:
Chechik Marsha,Gurfinkel Arie
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Ball, T., Podelski, A., Rajamani, S.: Boolean and Cartesian Abstraction for Model Checking C Programs. STTT 5(1), 49–58 (2003)
2. Lecture Notes in Computer Science;S. Barner,2002
3. Lecture Notes in Computer Science;M. Chechik,2002
4. Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
5. Clarke, E.M., Grumberg, O., McMillan, K.L., Zhao, X.: Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking. In: Proceedings of DAC 1995, pp. 427–432 (1995)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Counterexample classification;Software and Systems Modeling;2023-07-26
2. Trace Diagnostics for Signal-Based Temporal Properties;IEEE Transactions on Software Engineering;2023-05-01
3. Incremental Witness Generation for Branching-Time Logic CTL*;IEEE Transactions on Reliability;2022-06
4. Simulation under Arbitrary Temporal Logic Constraints;Electronic Proceedings in Theoretical Computer Science;2019-12-23
5. Producing Explanations for Rich Logics;Formal Methods;2018