共 50 条
- [22] An abstract interpretation toolkit for μCRL Formal Methods in System Design, 2007, 30 : 249 - 273
- [23] An Abstract Interpretation Framework for Termination POPL 12: PROCEEDINGS OF THE 39TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2012, : 245 - 257
- [25] Abstract interpretation of reactive systems ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1997, 19 (02): : 253 - 291
- [26] Test reactive systems with Buchi automata: acceptance condition coverage criteria and performance evaluation 2015 IEEE 16TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION, 2015, : 380 - 387
- [29] Abstract Interpretation under Speculative Execution PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19), 2019, : 802 - 815