A Semantic Condition for Data Independence and Applications in Hardware Verification

DOI10.1016/J.ENTCS.2009.08.004zbMath1339.68164OpenAlexW2094442598MaRDI QIDQ2810970

Anthony McIsaac, Lyes Benalycherif

Publication date: 6 June 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.08.004

zbMATH Keywords

formal verificationmodel checkingPSLdata independence

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

A Semantic Condition for Data Independence and Applications in Hardware Verification

Uses Software

• RuleBasePE

Cites Work

• Silicon debug of a powerPC microprocessor using model checking
• A Semantic Condition for Data Independence and Applications in Hardware Verification
• Unnamed Item
• Unnamed Item

This page was built for publication: A Semantic Condition for Data Independence and Applications in Hardware Verification