scientific article; zbMATH DE number 2043539

zbMATH Open1038.68557MaRDI QIDQ4447243FDOQ4447243

Authors: Gilles Barthe, Sorin Stratulat 

Publication date: 16 February 2004

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

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

Recommendations

• scientific article; zbMATH DE number 1692947
• Tool-assisted specification and verification of typed low-level languages
• Fundamental Approaches to Software Engineering
• Java bytecode verification: Algorithms and formalizations
• scientific article; zbMATH DE number 1857507

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Theory of software (68N99)

Cited In (9)

• Correctness of Java card method lookup via logical relations
• A B model for ensuring soundness of a large subset of the Java card virtual machine
• Title not available (Why is that?)
• Title not available (Why is that?)
• Tool-assisted specification and verification of typed low-level languages
• Automated Certification of Implicit Induction Proofs
• Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities
• Title not available (Why is that?)
• Mechanically certifying formula-based Noetherian induction reasoning

Uses Software

• Coq
• Jakarta
• SPIKE

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