Proving the correctness of mobile Java code

zbMATH Open1224.68020MaRDI QIDQ3077280FDOQ3077280

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

Publication date: 22 February 2011

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

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)

Cited In (8)

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

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)