共 50 条
- [1] Abstraction-Based Interaction Model for Synthesis [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2018), 2018, 10747 : 382 - 405
- [2] Abstraction-based model checking programs [J]. Journal of Computational Information Systems, 2007, 3 (02): : 675 - 682
- [3] An Abstraction-Based Data Model for Information Retrieval [J]. AI 2009: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2009, 5866 : 567 - 576
- [4] Abstraction-based model checking using heuristical refinement [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2004, 3299 : 165 - 178
- [5] Design and evaluation of a symbolic and abstraction-based model checker [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2004, 3299 : 196 - 210
- [6] ABSTRACTION-BASED REUSE REPOSITORIES [J]. AIAA COMPUTERS IN AEROSPACE VII CONFERENCE, PTS 1 AND 2: A COLLECTION OF PAPERS, 1989, : 368 - 373
- [7] UPPAAL/DMC -: Abstraction-based heuristics for directed model checking [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2007, 4424 : 679 - +
- [8] Evaluation of SMT solvers in abstraction-based software model checking [J]. PROCEEDINGS OF 2022 11TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING, LADC 2022, 2022, : 109 - 116
- [9] Data Cleaning: An Abstraction-based Approach [J]. 2015 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATIONS AND INFORMATICS (ICACCI), 2015, : 713 - 719
- [10] ABSTRACTION-BASED SOFTWARE-DEVELOPMENT [J]. COMMUNICATIONS OF THE ACM, 1986, 29 (11) : 1027 - 1027