Article

Counterexample-Guided Abstraction Refinement

Authors:

Edmund M. Clarke,

Orna Grumberg,

Somesh Jha,

Yuan Lu,

Helmut VeithAuthors Info & Claims

CAV '00: Proceedings of the 12th International Conference on Computer Aided Verification

Pages 154 - 169

Published: 15 July 2000 Publication History

Abstract

No abstract available.

Cited By

View all

Dadvar MNayyar RSrivastava SEvans RShpitser I(2023)Conditional abstraction trees for sample-efficient reinforcement learningProceedings of the Thirty-Ninth Conference on Uncertainty in Artificial Intelligence10.5555/3625834.3625880(485-495)Online publication date: 31-Jul-2023
https://dl.acm.org/doi/10.5555/3625834.3625880
Akon MYang TDong YHussain SMeng WJensen CCremers CKirda E(2023)Formal Analysis of Access Control Mechanism of 5G Core NetworkProceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security10.1145/3576915.3623113(666-680)Online publication date: 15-Nov-2023
https://dl.acm.org/doi/10.1145/3576915.3623113
Zuo ZNiu XZhang SFang LKhoo SLu SSun CXu G(2023)Toward More Efficient Statistical Debugging with Abstraction RefinementACM Transactions on Software Engineering and Methodology10.1145/354479032:2(1-38)Online publication date: 30-Mar-2023
https://dl.acm.org/doi/10.1145/3544790
Show More Cited By

Counterexample-Guided Abstraction Refinement
1. Software and its engineering
  1. Software creation and management

Recommendations

A counterexample-guided abstraction-refinement framework for markov decision processes

The main challenge in using abstractions effectively is to construct a suitable abstraction for the system being verified. One approach that tries to address this problem is that of counterexample guided abstraction refinement (CEGAR), wherein one ...
SAT-based counterexample-guided abstraction refinement

We describe new techniques for model checking in the counterexample-guided abstraction-refinement framework. The abstraction phase "hides" the logic of various variables, hence considering them as inputs. This type of abstraction may lead to "spurious" ...
A counterexample guided abstraction refinement framework for verifying concurrent c programs

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

CAV '00: Proceedings of the 12th International Conference on Computer Aided Verification

July 2000

576 pages

ISBN:3540677704

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 15 July 2000

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

515
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 17 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Dadvar MNayyar RSrivastava SEvans RShpitser I(2023)Conditional abstraction trees for sample-efficient reinforcement learningProceedings of the Thirty-Ninth Conference on Uncertainty in Artificial Intelligence10.5555/3625834.3625880(485-495)Online publication date: 31-Jul-2023
https://dl.acm.org/doi/10.5555/3625834.3625880
Akon MYang TDong YHussain SMeng WJensen CCremers CKirda E(2023)Formal Analysis of Access Control Mechanism of 5G Core NetworkProceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security10.1145/3576915.3623113(666-680)Online publication date: 15-Nov-2023
https://dl.acm.org/doi/10.1145/3576915.3623113
Zuo ZNiu XZhang SFang LKhoo SLu SSun CXu G(2023)Toward More Efficient Statistical Debugging with Abstraction RefinementACM Transactions on Software Engineering and Methodology10.1145/354479032:2(1-38)Online publication date: 30-Mar-2023
https://dl.acm.org/doi/10.1145/3544790
Elboher YCohen EKatz G(2022)Neural Network Verification Using Residual ReasoningSoftware Engineering and Formal Methods10.1007/978-3-031-17108-6_11(173-189)Online publication date: 26-Sep-2022
https://dl.acm.org/doi/10.1007/978-3-031-17108-6_11
Amadini R(2021)A Survey on String Constraint SolvingACM Computing Surveys10.1145/348419855:1(1-38)Online publication date: 23-Nov-2021
https://dl.acm.org/doi/10.1145/3484198
Sun JGuan NShi RTan GYi W(2021)Schedulability Analysis for Timed Automata With TasksACM Transactions on Embedded Computing Systems10.1145/347702020:5s(1-26)Online publication date: 22-Sep-2021
https://dl.acm.org/doi/10.1145/3477020
Hwang SLee SKim JRyu S(2021)JUSTGenProceedings of the 43rd International Conference on Software Engineering10.1109/ICSE43902.2021.00151(1708-1718)Online publication date: 22-May-2021
https://dl.acm.org/doi/10.1109/ICSE43902.2021.00151
Webster MWestern DAraiza-Illan DDixon CEder KFisher MPipe A(2020)A corroborative approach to verification and validation of human–robot teamsInternational Journal of Robotics Research10.1177/027836491988333839:1(73-99)Online publication date: 1-Jan-2020
https://dl.acm.org/doi/10.1177/0278364919883338
Prabhakar PAfzal ZWallach HLarochelle HBeygelzimer Ad'Alché-Buc FFox E(2019)Abstraction based output range analysis for neural networksProceedings of the 33rd International Conference on Neural Information Processing Systems10.5555/3454287.3455701(15788-15798)Online publication date: 8-Dec-2019
https://dl.acm.org/doi/10.5555/3454287.3455701
Luo KLiu Y(2019)Automatic verification of FSA strategies via counterexample-guided local search for invariantsProceedings of the 28th International Joint Conference on Artificial Intelligence10.5555/3367243.3367290(1814-1821)Online publication date: 10-Aug-2019
https://dl.acm.org/doi/10.5555/3367243.3367290
Show More Cited By

View Options

View options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Recommendations

A counterexample-guided abstraction-refinement framework for markov decision processes

SAT-based counterexample-guided abstraction refinement

A counterexample guided abstraction refinement framework for verifying concurrent c programs

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations