Semi-formal verification of memory systems by symbolic simulation

DOI10.1007/B93958zbMATH Open1179.68075OpenAlexW219731125MaRDI QIDQ5897064FDOQ5897064

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

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

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)