Verification of Java Programs with Generics

DOI10.1007/978-3-540-79980-1_24zbMath1170.68528OpenAlexW1590951149MaRDI QIDQ5505432

Holger Grandy, Kurt Stenzel, Wolfgang Reif

Publication date: 27 January 2009

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-79980-1_24

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• KRAKATOA
• JML
• KIV

Cites Work

• The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML
• Algebraic Methodology and Software Technology
• Algebraic Methodology and Software Technology
• Unnamed Item
• Unnamed Item

This page was built for publication: Verification of Java Programs with Generics