scientific article; zbMATH DE number 2090026

MaRDI QIDQ4808693zbMATH OpenFDO

Authors Marieke Huisman

Publication date 12 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2386/23860175.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• A case study in class library verification: Java's vector class
• Verification of Java Programs with Generics
• scientific article; zbMATH DE number 1706337
• scientific article; zbMATH DE number 1693527
• scientific article; zbMATH DE number 1701766

Cited in

(7)

• POSIX file store in Z/Eves: An experiment in the verified software repository
• Verifying a class: combining testing and proving
• Integrating ADTs in KeY and their application to history-based reasoning about collection
• Integrating ADTs in KeY and Their Application to History-Based Reasoning
• Verification of Java Programs with Generics
• A case study in class library verification: Java's vector class
• Proving Theorems About JML Classes

Describes a project that uses

Uses Software

• LOOP
• JML
• PVS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4808693)