共 50 条
- [1] Formal Reasoning about Software Object Translations [J]. FOUNDATIONS OF COMPUTER SOFTWARE: FUTURE TRENDS AND TECHNIQUES FOR DEVELOPMENT, 2010, 6028 : 43 - 58
- [2] Formal reasoning about hardware and software memory models [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 423 - 434
- [3] A tool to support formal reasoning about computer languages [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1997, 1217 : 81 - 95
- [4] Formal reasoning about causality analysis [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2008, 5170 : 118 - 133
- [5] A Tool for Automated Reasoning about Traces Based on Configurable Formal Semantics [J]. ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, : 959 - 963
- [6] Formal Framework for Reasoning About the Precision of Dynamic Analysis [J]. STATIC ANALYSIS (SAS 2020), 2020, 12389 : 178 - 199
- [8] Formal reasoning about systems, software and hardware - Using functionals, predicates and relations [J]. INFORMATION TECHNOLOGY: SELECTED TUTORIALS, 2004, 157 : 85 - 114
- [9] Modern Infinitesimals as a Tool to Match Intuitive and Formal Reasoning in Analysis [J]. Synthese, 2003, 134 : 325 - 351