scientific article; zbMATH DE number 1927414

zbMATH Open1013.68544MaRDI QIDQ4484331FDOQ4484331

David Basin, Marek Gawkowski, Stefan Friedrich

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?)

Mathematics Subject Classification ID

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

Cited In (9)

• Verified lightweight bytecode verification
• Title not available (Why is that?)
• Bytecode verification by model checking
• 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
• Title not available (Why is that?)

Uses Software

• Isabelle
• Isabelle/HOL

   Recommendations

• Bytecode verification by model checking 👍 👎
• Title not available (Why is that?) 👍 👎
• Verified bytecode verifiers. 👍 👎
• Title not available (Why is that?) 👍 👎
• Fundamental Approaches to Software Engineering 👍 👎

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)