Model checking at IBM

DOI10.1023/A:1022905120346zbMath1020.68507OpenAlexW2092218351MaRDI QIDQ1870213

Cindy Eisner, Shoham Ben-David, Yaron Wolfsthal, Daniel Geist

Publication date: 11 May 2003

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1022905120346

zbMATH Keywords

formal verificationmodel checkingformal methods

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (3)

Explaining counterexamples using causality ⋮ Efficient and effective quantum compiling for entanglement-based machine learning on IBM Q devices ⋮ A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis

This page was built for publication: Model checking at IBM