Semi-formal verification of memory systems by symbolic simulation

DOI10.1007/B93958MaRDI QIDQ5897064zbMATH OpenOpenAlexFDO

Authors Husam abu-Haimed, Sergey Berezin, David L. Dill

Publication date 5 February 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b93958

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Verisym: Verifying circuits by symbolic simulation
• Computer Aided Verification
• scientific article; zbMATH DE number 1852164
• A formal framework for verification of embedded custom memories of the Motorola MPC7450 microprocessor
• Computer Aided Verification

Cited in

(5)

• Formal memory models for the verification of low-level operating-system code
• Formal verification of a C-like memory model and its uses for verifying program transformations
• scientific article; zbMATH DE number 1852164 (Why is no real title available?)
• scientific article; zbMATH DE number 1857502 (Why is no real title available?)
• Correct Hardware Design and Verification Methods

This page was built for publication: Semi-formal verification of memory systems by symbolic simulation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5897064)