Level-up -- from bits to words

DOI10.1007/978-3-031-22476-8_8zbMath1528.68221OpenAlexW4312841354MaRDI QIDQ6113904

Klaus Riedl, Matthias Güdemann

Publication date: 10 August 2023

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

Full work available at URL: https://doi.org/10.1007/978-3-031-22476-8_8

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cites Work

• Word level bitwidth reduction for unbounded hardware model checking
• Syntax-guided synthesis for lemma generation in hardware model checking
• SAT-Based Model Checking without Unrolling
• A Practical Approach to Word Level Model Checking of Industrial Netlists

This page was built for publication: Level-up -- from bits to words