Verified bytecode subroutines
From MaRDI portal
Publication:1405993
DOI10.1023/A:1025095122199zbMath1031.68040OpenAlexW1696656935MaRDI QIDQ1405993
Publication date: 9 September 2003
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1025095122199
Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Formal verification of C systems code. Structured types, separation logic and theorem proving ⋮ Tool-assisted specification and verification of typed low-level languages ⋮ Mechanising a type-safe model of multithreaded Java with a verified compiler
Uses Software
This page was built for publication: Verified bytecode subroutines
