Algebraic Methodology and Software Technology

DOI10.1007/B98770MaRDI QIDQ5313002zbMATH OpenOpenAlexFDO

Authors Kurt Stenzel

Publication date 25 August 2005

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

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1692947
• Fundamental Approaches to Software Engineering
• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 1706337
• Source code verification of a secure payment applet

Cited in

(24)

• Operational semantics of the Java Card Virtual Machine
• Flashix: modular verification of a concurrent and crash-safe flash file system
• A program logic for resources
• scientific article; zbMATH DE number 1629941 (Why is no real title available?)
• scientific article; zbMATH DE number 1692947 (Why is no real title available?)
• scientific article; zbMATH DE number 1706231 (Why is no real title available?)
• scientific article; zbMATH DE number 1706329 (Why is no real title available?)
• scientific article; zbMATH DE number 1706337 (Why is no real title available?)
• Ensuring the correctness of lightweight tactics for JavaCard dynamic logic
• Interleaving symbolic execution and partial evaluation
• Dynamic frames in Java dynamic logic
• Automating Algebraic Specifications of Non-freely Generated Data Types
• Hoare logic for Java in Isabelle/HOL
• scientific article; zbMATH DE number 2086505 (Why is no real title available?)
• scientific article; zbMATH DE number 1848374 (Why is no real title available?)
• scientific article; zbMATH DE number 1848380 (Why is no real title available?)
• scientific article; zbMATH DE number 1848381 (Why is no real title available?)
• scientific article; zbMATH DE number 1848384 (Why is no real title available?)
• Fundamental Approaches to Software Engineering
• Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics
• Bounded Relational Analysis of Free Data Types
• Verification of Java Programs with Generics
• Automated flaw detection in algebraic specifications
• A generic complete dynamic logic for reasoning about purity and effects

Describes a project that uses

Uses Software

• JML
• KIV

This page was built for publication: Algebraic Methodology and Software Technology

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