Mothers of Pipelines

DOI10.1016/j.entcs.2006.11.036zbMath1277.68137OpenAlexW1991391305MaRDI QIDQ2864521

No author found.

Publication date: 6 December 2013

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.2006.11.036

zbMATH Keywords

confluenceSMT solverspipeline verificationstuttering simulation

Mathematics Subject Classification ID

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

Uses Software

• CVC Lite
• reFLect

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A reflective functional language for hardware design and theorem proving
• Computer Aided Verification
• Computer Aided Verification
• Computer Aided Verification

This page was built for publication: Mothers of Pipelines