Proving the correctness of mobile Java code

MaRDI QIDQ3077280zbMATH OpenFDO

Authors Zoltán Istenes, Tamás Kozsik, Csaba Hoch, László Attila Tóth

Publication date 22 February 2011

zbMATH Keywords

correctnessmobile Java code

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Automated techniques for provably safe mobile code.
• scientific article; zbMATH DE number 2110618
• Fundamental Approaches to Software Engineering
• Verification, Model Checking, and Abstract Interpretation
• Logic Programming

Cited in

(8)

• scientific article; zbMATH DE number 2088925 (Why is no real title available?)
• Formalising Java RMI with explicit code mobility
• Commanding a robot in a safe way
• Proving composed specifications of Clean programs in Sparkle-T
• How Java's language design reflects the requirements of mobile code
• Verification of security-relevant behavior model and security policy for model-carrying code
• Secure Prolog-based mobile code
• Intermediate representations of mobile code

Describes a project that uses

Uses Software

• SPARK
• JML

This page was built for publication: Proving the correctness of mobile Java code

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