A Bytecode Logic for JML and Types

DOI10.1007/11924661_24zbMath1168.68357MaRDI QIDQ5385607

Martin Hofmann, Lennart Beringer

Publication date: 6 May 2008

Published in: Programming Languages and Systems (Search for Journal in Brave)

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

Mathematics Subject Classification ID

03B70: Logic in computer science

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

Related Items

Certification Using the Mobius Base Logic

Uses Software

• Isabelle/HOL
• JML