Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis-Reference-Cited by-同舟云学术

Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis

Published:2002 Issue: Volume: Page:33-51
ISSN:0302-9743
Container-title:Formal Methods in Computer-Aided Design
language:
Short-container-title:

Author:

Chauhan Pankaj,Clarke Edmund,Kukula James,Sapra Samir,Veith Helmut,Wang Dong

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-36126-X_3

Reference21 articles.

1. Felice Balarin and Alberto L. Sangiovanni-Vincentelli. An iterative approach to language containment. In Proceedings of CAV’93, pages 29–40, 1993.

2. Lect Notes Comput Sci;A. Biere,1999

3. Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, Jim Kukula, Tom Shiple, Helmut Veith, and Dong Wang. Non-linear quantification scheduling in image computation. In Proceedings of ICCAD’01, pages 293–298, November 2001.

4. Lect Notes Comput Sci;P. Chauhan,2001

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

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

1. A Unified Specification Mining Framework for Smart Contracts;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10

2. A comprehensive study and analysis on SAT-solvers: advances, usages and achievements;Artificial Intelligence Review;2018-03-28

3. Learning-Based Testing: Recent Progress and Future Prospects;Lecture Notes in Computer Science;2018

4. Formal Property Verification;Electronic Design Automation for IC System Design, Verification, and Testing;2016-04-14

5. Case Studies in Learning-Based Testing;Testing Software and Systems;2013