Automatically Detecting Inconsistencies in Program Specifications
暂无分享,去创建一个
[1] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.
[2] Ian J. Hayes,et al. FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings , 2005, FM.
[3] Kim G. Larsen,et al. Memory Efficient Data Structures for Explicit Verification of Timed Systems , 2014, NASA Formal Methods.
[4] K. Rustan M. Leino,et al. Dafny: An Automatic Program Verifier for Functional Correctness , 2010, LPAR.
[5] Bruce Weide,et al. Component-based software using RESOLVE , 1994, SOEN.
[6] Richard A. Kemmerer,et al. Testing Formal Specifications to Detect Design Errors , 1985, IEEE Transactions on Software Engineering.
[7] Constance L. Heitmeyer,et al. SCR*: A Toolset for Specifying and Analyzing Software Requirements , 1998, CAV.
[8] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[9] Bruce W. Weide,et al. Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study , 2012, NASA Formal Methods.
[10] C. A. R. HOARE,et al. An axiomatic basis for computer programming , 1969, CACM.
[11] Frank Wolter,et al. Monodic fragments of first-order temporal logics: 2000-2001 A.D , 2001, LPAR.
[12] Olivier Ponsini,et al. Automatic verification of loop invariants , 2010, 2010 IEEE International Conference on Software Maintenance.
[13] Murali Sitaraman,et al. Incremental Benchmarks for Software Verification Tools and Techniques , 2008, VSTTE.
[14] Fabrice Bouquet,et al. Symbolic Animation of JML Specifications , 2005, FM.