scientific article; zbMATH DE number 1927414

zbMATH Open1013.68544MaRDI QIDQ4484331FDOQ4484331

Authors: Stefan Friedrich, Marek Gawkowski, David Basin 

Publication date: 12 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2410/24100047.htm

Title of this publication is not available (Why is that?)

Recommendations

• Bytecode verification by model checking
• scientific article; zbMATH DE number 1701360
• Verified bytecode verifiers.
• scientific article; zbMATH DE number 2087621
• Fundamental Approaches to Software Engineering

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35)

Cited In (13)

• Verified lightweight bytecode verification
• Faster and more complete extended static checking for the Java modeling language
• Title not available (Why is that?)
• Bytecode verification by model checking
• Verified bytecode subroutines
• Verified bytecode verification and type-certifying compilation
• Providing a formal linkage between MDG and HOL
• Fundamental Approaches to Software Engineering
• Computer Science Logic
• An assertion-based proof system for multithreaded Java
• Verified bytecode verifiers.
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• Isabelle
• Isabelle/HOL

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4484331)