Bytecode verification by model checking

DOI10.1023/A:1025059508087zbMath1031.68038MaRDI QIDQ1405996

Marek Gawkowski, Stefan Friedrich, David A. Basin

Publication date: 9 September 2003

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

model checkingstatic analysistype safetybytecode verification

Mathematics Subject Classification ID

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

Uses Software

• Unnamed Item
• Unnamed Item

This page was built for publication: Bytecode verification by model checking