共 50 条
- [25] Saturn: A SAT-based tool for bug detection COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2005, 3576 : 139 - 143
- [27] DETECTION OF METHANE AND ETHANE EMISSION ON NEPTUNE BUT NOT ON URANUS ASTROPHYSICAL JOURNAL, 1977, 218 (02): : L79 - L81
- [30] SATURN: A scalable framework for error detection using Boolean satisfiability ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2007, 29 (03):