scientific article; zbMATH DE number 1927414

MaRDI QIDQ4484331zbMATH OpenFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(13)

• Verified lightweight bytecode verification
• Computer Science Logic
• Faster and more complete extended static checking for the Java modeling language
• Fundamental Approaches to Software Engineering
• Providing a formal linkage between MDG and HOL
• Verified bytecode verifiers.
• scientific article; zbMATH DE number 2087621 (Why is no real title available?)
• scientific article; zbMATH DE number 2102730 (Why is no real title available?)
• An assertion-based proof system for multithreaded Java
• Verified bytecode verification and type-certifying compilation
• scientific article; zbMATH DE number 1701360 (Why is no real title available?)
• Verified bytecode subroutines
• Bytecode verification by model checking

Describes a project that uses

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)