Reasoning about safety properties in a JVM-like environment

DOI10.1016/J.SCICO.2007.04.001zbMath1122.68036OpenAlexW1983109102MaRDI QIDQ997235

Philip W. L. Fong

Publication date: 23 July 2007

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2007.04.001

zbMATH Keywords

safetyformal verificationconfinementaccess controlJava virtual machinestack invarianttype-based protection mechanism

Mathematics Subject Classification ID

Theory of operating systems (68N25)

This page was built for publication: Reasoning about safety properties in a JVM-like environment