A Tutorial on Verifying LinkedList using KeY: Video Material

Bian, Jinting; Hiep, Hans-Dieter A.

doi:10.6084/m9.figshare.c.4826589.v2

2020

DOI: 10.6084/m9.figshare.c.4826589.v2

|View full text |Cite

A Tutorial on Verifying LinkedList using KeY: Video Material

Jinting Bian¹,

Hans-Dieter A. Hiep²

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2020

Publication Types

Select...

Book1

Relationship

Self Cite1

Independent0

Authors

Journals

Cited by 1 publication

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

A Tutorial on Verifying LinkedList Using KeY

Hiep

Bian

Boer

et al. 2020

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

This is a tutorial paper on using KeY to demonstrate formal verification of state-of-the-art, real software. In sufficient detail for a beginning user of JML and KeY, the specification and verification of part of a corrected version of the java.util.LinkedList class of the Java Collection framework is explained. The paper includes video material that shows recordings of interactive sessions, and project files with solutions. As such, this material is also interesting for the expert user and the developer of KeY as a 'benchmark' for specification and (automatic) verification techniques.

show abstract

A Tutorial on Verifying LinkedList Using KeY

Hiep

Bian

Boer

et al. 2020

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

customersupport@researchsolutions.com

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

A Tutorial on Verifying LinkedList using KeY: Video Material

Cited by 1 publication

References 0 publications

A Tutorial on Verifying LinkedList Using KeY

A Tutorial on Verifying LinkedList Using KeY

Contact Info

Product

Resources

About