A Review of Verification Benchmark Solutions Using Dafny
暂无分享,去创建一个
[1] C. A. R. Hoare,et al. Proof of correctness of data representations , 1972, Acta Informatica.
[2] Murali Sitaraman,et al. On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations , 1997, IEEE Trans. Software Eng..
[3] K. Rustan M. Leino,et al. Dafny: An Automatic Program Verifier for Functional Correctness , 2010, LPAR.
[4] Bor-Yuh Evan Chang,et al. Boogie: A Modular Reusable Verifier for Object-Oriented Programs , 2005, FMCO.
[5] Noam Chomsky,et al. A Review of B. F. Skinner's Verbal Behavior , 1980 .
[6] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[7] Murali Sitaraman,et al. Incremental Benchmarks for Software Verification Tools and Techniques , 2008, VSTTE.