Java's integral types in PVS.

DOI10.1007/B94120MaRDI QIDQ5902538zbMATH OpenOpenAlexFDO

Authors Bart Jacobs

Publication date 12 January 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b94120

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• A case study in class library verification: Java's vector class
• scientific article; zbMATH DE number 1701360
• Computer Aided Verification
• Verified bytecode verifiers.
• Theorem Proving in Higher Order Logics

Cited in

(2)

• Compiler Construction
• Integrated Formal Methods

Describes a project that uses

Uses Software

• PVS

This page was built for publication: Java's integral types in PVS.

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