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

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

Recommendations

• Algebraic Methodology and Software Technology
• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 1692947
• scientific article; zbMATH DE number 1706329
• Source code verification of a secure payment applet

Cited in

(20)

• Formal methods for smart cards: an experience report
• Verifying OpenJDK's sort method for generic collections
• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 1692947 (Why is no real title available?)
• scientific article; zbMATH DE number 2086505 (Why is no real title available?)
• Proof pearl: The KeY to correct and stable sorting
• Algebraic Methodology and Software Technology
• Verification by Parallelization of Parametric Code
• A program logic for resources
• Ensuring the correctness of lightweight tactics for JavaCard dynamic logic
• scientific article; zbMATH DE number 1706329 (Why is no real title available?)
• scientific article; zbMATH DE number 1706231 (Why is no real title available?)
• scientific article; zbMATH DE number 1848381 (Why is no real title available?)
• Specification and runtime verification of Java card programs
• KeY: A Formal Method for Object-Oriented Systems
• scientific article; zbMATH DE number 1706337 (Why is no real title available?)
• FM 2005: Formal Methods
• scientific article; zbMATH DE number 1696610 (Why is no real title available?)
• scientific article; zbMATH DE number 1706328 (Why is no real title available?)
• Integration of a security type system into a program logic

Describes a project that uses

Uses Software

• KeY
• ESC/Java
• KRAKATOA

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)