Usability of verification tools (researchr/bibliography/publications)

researchr

You are not signed in
Sign in
Sign up

Evaluating the Interfaces of Three Theorem Proving AssistantsNicholas A. Merriam, Michael D. Harrison. DSVIS 1996: 330-346 [classification] 8 months ago

Making Design Decisions to Support Diversity in Interactive Theorem ProvingNicholas A. Merriam, Michael D. Harrison, Michael D. Harrison. 1998: [classification] 8 months ago

Desirable features of educational theorem provers - a cognitive dimensions viewpointGada F. Kadoda, Roger G. Stone, Dan Diaper. PPIG 1999: 4 [doi] [classification] 8 months ago

A Comparison of PVS and Isabelle/HOLW. O. David Griffioen, Marieke Huisman. tphol 1998: 123-142 [classification] 8 months ago

REPLica: REPL instrumentation for Coq analysisTalia Ringer, Alex Sanchez-Stern, Dan Grossman, Sorin Lerner. CPP 2020: 99-113 [doi] [classification] 8 months ago

A Survey of Hybrid Techniques for Functional VerificationJayanta Bhadra, Magdy S. Abadir, Li-C. Wang, Sandip Ray. dt, 24(2):112-122, 2007. [doi] [classification] 9 months ago

Helium, for learning HaskellBastiaan Heeren, Daan Leijen, Arjan van IJzendoorn. haskell 2003: 62-71 [doi] [classification] 9 months ago

Can program proving be made practical?Ole-Johan Dahl. In Lectures Presented at the EEC-crest Course on Programming Foundations, Toulouse 1977. Institute of Informatics, 1977. [classification] 9 months ago

Dependent types and multi-monadic effects in F*Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean Karim Zinzindohoue, Santiago Zanella Béguelin. POPL 2016: 256-270 [doi] [classification] 11 months ago

Bringing Formal Verification into Widespread Programming Language EcosystemsSára Juhošová. Master's thesis, TU Delft, 2023. [classification] 11 months ago

Usability-Oriented Design of Liquid Types for JavaGamboa, Catarina, Santos, Paulo, Timperley, Christopher Steven, Fonseca, Alcides. , 2023. [classification] 11 months ago

Seamless Interactive Program VerificationSarah Grebing, Jonas Klamroth, Mattias Ulbrich. vstte 2020: 68-86 [doi] [classification] 11 months ago

Advancing Deductive Program-Level Verification for Real-World Application: Lessons Learned from an Industrial Case StudyThorsten Bormer. PhD thesis, Karlsruhe Institute of Technology, 2014. [doi] [classification] 11 months ago

Thoughts on Requirements and Design Issues of User Interfaces for Proof AssistantsNorbert Völker. ENTCS, 103:139-159, 2004. [doi] [classification] 11 months ago

The interactive verification debugger: effective understanding of interactive proof attemptsMartin Hentschel 0002, Reiner Hähnle, Richard Bubel. ASE 2016: 846-851 [doi] [classification] 11 months ago

Evaluating the Usability of Interactive Verification SystemsBernhard Beckert, Sarah Grebing. cade 2012: 3-17 [doi] [classification] 11 months ago

Interactive Theorem Proving - Modelling the User in the Proof ProcessBernhard Beckert, Sarah Grebing. cade 2015: 60-73 [doi] [classification] 11 months ago

An analysis of errors in interactive proof attemptsJ. Stuart Aitken, Thomas F. Melham. iwc, 12(6):565-586, 2000. [classification] 11 months ago

Interactive Theorem Proving: An Empirical Study of User ActivityJ. Stuart Aitken, Philip D. Gray, Thomas F. Melham, Muffy Thomas. JSC, 25(2):263-284, 1998. [classification] 11 months ago

Passport: Improving Automated Formal Verification Using IdentifiersSanchez-Stern, Alex, First, Emily, Zhou, Timothy, Kaufman, Zhanna, Brun, Yuriy, Ringer, Talia. ACM Trans. Program. Lang. Syst., 45(2), jun 2023. [doi] [classification] 11 months ago

Usability Recommendations for User Guidance in Deductive Program VerificationSarah Grebing, Mattias Ulbrich. In Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich, editors, Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY. Volume 12345 of Lecture Notes in Computer Science, pages 261-284, Springer, 2020. [doi] [classification] 11 months ago

A Usability Evaluation of Interactive Theorem Provers Using Focus GroupsBernhard Beckert, Sarah Grebing, Florian Böhl. SEFM 2015: 3-19 [doi] [classification] 11 months ago

An empirical evaluation of two user interfaces of an interactive program verifierMartin Hentschel 0002, Reiner Hähnle, Richard Bubel. ASE 2016: 403-413 [doi] [classification] 11 months ago

Deductive Software Verification: From Pen-and-Paper Proofs to Industrial ToolsReiner Hähnle, Marieke Huisman. In VIDEO: Lecture Notes in Computer Science Celebrates 10,000th Manuscript!. Volume 10000 of Lecture Notes in Computer Science, pages 345-373, Springer, 2019. [doi] [classification] 11 months ago

Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeYWolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich, editors, Volume 12345 of Lecture Notes in Computer Science, Springer, 2020. [doi] [classification] 11 months ago

Experience Report: Teaching Code Analysis and Verification Using Frama-CSalwa Souaf, Frédéric Loulergue. Electronic Proceedings in Theoretical Computer Science, 349:69-75, nov 2021. [doi] [classification] 11 months ago

More Programming Than Programming: Teaching Formal Methods in a Software Engineering ProgrammeJames Noble 0001, David Streader, Isaac Oscar Gariano, Miniruwani Samarakoon. NFM 2022: 431-450 [doi] [classification] 11 months ago

Towards progressive program verification in DafnyIsmael Figueroa, Bruno García, Paul Leger. SBLP 2018: 90-97 [doi] [classification] 11 months ago

Teaching Formal Methods to Future EngineersCatherine Dubois, Virgile Prevosto, Guillaume Burel. tfm 2019: 69-80 [doi] [classification] 11 months ago

Nagini: A Static Verifier for PythonMarco Eilers, Peter Müller 0001. cav 2018: 596-603 [doi] [classification] 11 months ago

Teaching Deductive Verification in Why3 to Undergraduate StudentsSandrine Blazy. tfm 2019: 52-66 [doi] [classification] 11 months ago

Why3 - Where Programs Meet ProversJean-Christophe Filliâtre, Andrei Paskevich. ESOP 2013: 125-128 [doi] [classification] 11 months ago

Dafny: An Automatic Program Verifier for Functional CorrectnessK. Rustan M. Leino. lpar 2010: 348-370 [doi] [classification] 11 months ago

Download

Maintained by

All Publications

Filter by Year

[+]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Recently Added

Recently Removed

New Entries

Researchr

Bibliography: Usability of verification tools

Recently Added

Download

Maintained by

All Publications

Filter by Year [+]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Recently Added

Recently Removed

New Entries

Researchr

Bibliography: Usability of verification tools

Recently Added

Filter by Year

[+]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1