scientific article

zbMATH Open0970.68638MaRDI QIDQ2729960

Vincent Vialard, Axel Dold

Publication date: 23 October 2001

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

zbMATH Keywords

formal verificationgeneric specificationchecker-based program verification

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Computing methodologies and applications (68U99) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

A formally verified compiler back-end ⋮ A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness

Uses Software

• PVS

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