scientific article; zbMATH DE number 2090026

zbMATH Open1073.68550MaRDI QIDQ4808693FDOQ4808693

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

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

Uses Software

• PVS
• JML
• LOOP

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)