scientific article; zbMATH DE number 5181785

MaRDI QIDQ5754533zbMATH OpenFDO

Authors Teodor Rus, Erick van Wyk

Publication date 22 August 2007

zbMATH Keywords

algebraic compiler

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2086974
• Algorithmic algebraic model checking. III: Approximate methods
• Generating model checkers from algebraic specifications
• Process algebra and model checking
• Algebraic model checking for discrete linear dynamical systems
• On an equivalence checking technique for algebraic models of programs
• scientific article; zbMATH DE number 3954253
• Approach to the construction of algebraic models of algorithms and programs
• scientific article; zbMATH DE number 1762076

Cited in

(7)

• scientific article; zbMATH DE number 7340317 (Why is no real title available?)
• Specification languages in algebraic compilers
• Generating model checkers from algebraic specifications
• Algorithmic algebraic model checking. III: Approximate methods
• AlPiNA: A Symbolic Model Checker
• Algebraic implementations preserve program correctness
• Algebraic models of correctness for microprocessors

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