Providing Early Warnings of Specification Problems
暂无分享,去创建一个
[1] Murali Sitaraman,et al. Building a push-button RESOLVE verifier: Progress and challenges , 2011, Formal Aspects of Computing.
[2] Bart Jacobs,et al. JML (poster session): notations and tools supporting detailed design in Java , 2000, OOPSLA '00.
[3] Kim G. Larsen,et al. Memory Efficient Data Structures for Explicit Verification of Timed Systems , 2014, NASA Formal Methods.
[4] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[5] Bruce Weide,et al. Component-based software using RESOLVE , 1994, SOEN.
[6] J. Christopher Westland,et al. The cost of errors in software development: evidence from industry , 2002, J. Syst. Softw..
[7] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.
[8] K. Rustan M. Leino,et al. The Spec# Programming System: An Overview , 2004, CASSIS.
[9] Gary T. Leavens,et al. JML: notations and tools supporting detailed design in Java , 2000 .
[10] Bruce W. Weide,et al. Automatically Detecting Inconsistencies in Program Specifications , 2013, NASA Formal Methods.
[11] Frank Wolter,et al. Monodic fragments of first-order temporal logics: 2000-2001 A.D , 2001, LPAR.
[12] Stephen Gilmore,et al. Mobile Resource Guarantees for Smart Devices , 2004, CASSIS.
[13] Bruce M. Adcock,et al. Working Towards the Verified Software Process , 2010 .
[14] K. Rustan M. Leino,et al. Dafny: An Automatic Program Verifier for Functional Correctness , 2010, LPAR.