scientific article; zbMATH DE number 5181785
From MaRDI portal
Publication:5754533
zbMATH Open1123.68070MaRDI QIDQ5754533FDOQ5754533
Authors: Teodor Rus, Erick van Wyk 
Publication date: 22 August 2007
Title of this publication is not available (Why is that?)
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
Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (7)
- Title not available (Why is that?)
- Specification languages in algebraic compilers
- Generating model checkers from algebraic specifications
- Algorithmic algebraic model checking. III: Approximate methods
- AlPiNA: A Symbolic Model Checker
- Algebraic models of correctness for microprocessors
- Algebraic implementations preserve program correctness
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)
