scientific article; zbMATH DE number 2102730

zbMATH Open1046.68575MaRDI QIDQ4818817

Stefan Friedrich, Harald Vogt, Joachim Posegga, David Basin

Publication date: 24 September 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Verified bytecode verification and type-certifying compilation ⋮ Bytecode verification by model checking ⋮ Unnamed Item ⋮ A local approach for temporal model checking of Java bytecode

Recommendations

• Java bytecode verification: Algorithms and formalizations 👍 👎
• A type system for the Java bytecode language and verifier 👍 👎
• Bytecode verification by model checking 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: