Fundamental Approaches to Software Engineering

DOI10.1007/B107062zbMATH Open1119.68351OpenAlexW2479217507MaRDI QIDQ5316441FDOQ5316441

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

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

Mathematics Subject Classification ID

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

Cited In (20)

• Algebraic Methodology and Software Technology
• Formal methods for smart cards: an experience report
• Verifying OpenJDK's sort method for generic collections
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic Methodology and Software Technology
• Proof pearl: The KeY to correct and stable sorting
• Verification by Parallelization of Parametric Code
• A program logic for resources
• Ensuring the correctness of lightweight tactics for JavaCard dynamic logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Specification and runtime verification of Java card programs
• KeY: A Formal Method for Object-Oriented Systems
• Title not available (Why is that?)
• FM 2005: Formal Methods
• Title not available (Why is that?)
• Title not available (Why is that?)
• Integration of a security type system into a program logic

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)