Fundamental Approaches to Software Engineering

DOI10.1007/B107062MaRDI QIDQ5316441zbMATH OpenOpenAlexFDO

Authors Wojciech Mostowski

Publication date 13 September 2005

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

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

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Algebraic Methodology and Software Technology
• Algebraic Methodology and Software Technology
• A formal executable semantics of the JavaCard platform
• A dynamic logic for the formal verification of Java card programs
• Source code verification of a secure payment applet

Cited in

(20)

• Verifying OpenJDK's sort method for generic collections
• Formal methods for smart cards: an experience report
• Proof pearl: The KeY to correct and stable sorting
• A program logic for resources
• A formal executable semantics of the JavaCard platform
• Specification of a smart card operating system
• CardKt: Automated multi-modal deduction on Java cards for multi-application security
• Formal methods in context: security and Java card
• A dynamic logic for the formal verification of Java card programs
• Formal specification and verification of JavaCard's application identifier class
• Ensuring the correctness of lightweight tactics for JavaCard dynamic logic
• scientific article; zbMATH DE number 2086505 (Why is no real title available?)
• CardS4: Modal theorem proving on Java smardcards
• Specification and runtime verification of Java card programs
• Algebraic Methodology and Software Technology
• Algebraic Methodology and Software Technology
• Verification by Parallelization of Parametric Code
• KeY: A Formal Method for Object-Oriented Systems
• FM 2005: Formal Methods
• Integration of a security type system into a program logic

Describes a project that uses

Uses Software

• KRAKATOA
• ESC/Java
• KeY

This page was built for publication: Fundamental Approaches to Software Engineering

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