共 50 条
- [1] SMT-Based Verification of NGAC Policies 2023 IEEE 47TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE, COMPSAC, 2023, : 860 - 869
- [2] An SMT-Based Approach to Coverability Analysis COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 603 - 619
- [5] SMT-Based Variability Analyses in FeatureIDE PROCEEDINGS OF THE 14TH INTERNATIONAL WORKING CONFERENCE ON VARIABILITY MODELLING OF SOFTWARE-INTENSIVE SYSTEMS (VAMOS '20), 2020,
- [6] SMT-Based Verification of Parameterized Systems FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2016, : 338 - 348
- [8] SMT-Based Array Invariant Generation VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2013), 2013, 7737 : 169 - 188
- [9] Formulog: Datalog for SMT-Based Static Analysis PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (OOPSLA):
- [10] Efficient SMT-Based Analysis of Failure Propagation COMPUTER AIDED VERIFICATION, PT II, CAV 2021, 2021, 12760 : 209 - 230