Dafny (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Dafny" in English language version.

Last modified: 06:55:02, 19 March 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

77doi.org

2^nd place

22psu.edu

299^th place

159^th place

22maynoothuniversity.ie

low place

11kuleuven.be

4,526^th place

3,942^nd place

11semanticscholar.org

15^th place

8^th place

11github.com

380^th place

337^th place

11dafny.org

low place

dafny.org (Global: low place; English: low place)

"Dafny Programming Language". 2022-07-14.

doi.org (Global: 2^nd place; English: 2^nd place)

Smans, Jan; Jacobs, Bart; Piessens, Frank (2009). Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic (PDF). Proceedings of the Conference on European Conference on Object-Oriented Programming. pp. 148–172. doi:10.1007/978-3-642-03013-0_8.
Leino, Rustan (2010). Dafny: An Automatic Program Verifier for Functional Correctness. Proceedings of the Conference on Logic for Programming, Artificial Intelligence, and Reasoning. pp. 348–370. doi:10.1007/978-3-642-17511-4_20.
Leino, Rustan; Monahan, Rosemary (2010). Dafny Meets the Verification Benchmarks Challenge (PDF). International Conference on Verified Software: Theories, Tools, and Experiments. pp. 112–116. doi:10.1007/978-3-642-15057-9_8.
Klebanov, Vladimir; et al. (2011). The 1st Verified Software Competition: Experience Report. Proceedings of the Conference on Formal Methods. pp. 154–168. CiteSeerX 10.1.1.221.6890. doi:10.1007/978-3-642-21437-0_14. {{cite conference}}: Cite uses deprecated parameter |citeseerx= (help)
Bormer, Thorsten; et al. (2011). The COST IC0701 Verification Competition 2011. Proceedings of the Conference on Formal Verification of Object-Oriented Software. pp. 3–21. CiteSeerX 10.1.1.396.6170. doi:10.1007/978-3-642-31762-0_2. {{cite conference}}: Cite uses deprecated parameter |citeseerx= (help)
Huisman, Marieke; Klebanov, Vladimir; Monahan, Rosemary (2015). "VerifyThis 2012" (PDF). International Journal on Software Tools for Technology Transfer. 17 (6): 647–657. doi:10.1007/s10009-015-0396-8. S2CID 14301377.
de Moura, Leonardo; Bjørner, Nikolaj (2008). Z3: An Efficient SMT Solver. Proceedings of the Conference on Tools and Algorithms for the Construction and Analysis. pp. 337–340. doi:10.1007/978-3-540-78800-3_24.

github.com (Global: 380^th place; English: 337^th place)

"Z3 Homepage". GitHub. 2019-02-07.

kuleuven.be (Global: 4,526^th place; English: 3,942^nd place)

lirias.kuleuven.be

Smans, Jan; Jacobs, Bart; Piessens, Frank (2009). Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic (PDF). Proceedings of the Conference on European Conference on Object-Oriented Programming. pp. 148–172. doi:10.1007/978-3-642-03013-0_8.

maynoothuniversity.ie (Global: low place; English: low place)

eprints.maynoothuniversity.ie

Leino, Rustan; Monahan, Rosemary (2010). Dafny Meets the Verification Benchmarks Challenge (PDF). International Conference on Verified Software: Theories, Tools, and Experiments. pp. 112–116. doi:10.1007/978-3-642-15057-9_8.

mural.maynoothuniversity.ie

Huisman, Marieke; Klebanov, Vladimir; Monahan, Rosemary (2015). "VerifyThis 2012" (PDF). International Journal on Software Tools for Technology Transfer. 17 (6): 647–657. doi:10.1007/s10009-015-0396-8. S2CID 14301377.

psu.edu (Global: 299^th place; English: 159^th place)

citeseerx.ist.psu.edu

Klebanov, Vladimir; et al. (2011). The 1st Verified Software Competition: Experience Report. Proceedings of the Conference on Formal Methods. pp. 154–168. CiteSeerX 10.1.1.221.6890. doi:10.1007/978-3-642-21437-0_14. {{cite conference}}: Cite uses deprecated parameter |citeseerx= (help)
Bormer, Thorsten; et al. (2011). The COST IC0701 Verification Competition 2011. Proceedings of the Conference on Formal Verification of Object-Oriented Software. pp. 3–21. CiteSeerX 10.1.1.396.6170. doi:10.1007/978-3-642-31762-0_2. {{cite conference}}: Cite uses deprecated parameter |citeseerx= (help)

semanticscholar.org (Global: 15^th place; English: 8^th place)

api.semanticscholar.org

Huisman, Marieke; Klebanov, Vladimir; Monahan, Rosemary (2015). "VerifyThis 2012" (PDF). International Journal on Software Tools for Technology Transfer. 17 (6): 647–657. doi:10.1007/s10009-015-0396-8. S2CID 14301377.