Fundamental Approaches to Software Engineering
From MaRDI portal
Publication:5316441
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
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
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)