Usability of verification tools (researchr/bibliography/publications)

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 33 from 33

2023

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

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

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]

2022

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]

2021

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]

2020

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]

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]

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

2019

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

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

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

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]

2018

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

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

2016

2015

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

2014

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

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]

2013

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

2012

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

2010

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

2007

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]

2004

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

2003

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

2000

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

1999

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

1998

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]

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

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

1996

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

1977

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]

Sign in or sign up to see more results.

runs on WebDSL