Timed causal fanin analysis for symbolic simulation

DOI10.1007/S10703-025-00478-1MaRDI QIDQ6911407zbMATH OpenFDO

Authors Roope Kaivola, Neta Bar Kama

Publication date 24 October 2025

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

Full work available at URL https://doi.org/10.1007/S10703-025-00478-1

zbMATH Keywords

complexity reductionformal verificationsymbolic simulation

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• Graph-Based Algorithms for Boolean Function Manipulation
• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• scientific article; zbMATH DE number 2102695 (Why is no real title available?)
• Symbolic trajectory evaluation

This page was built for publication: Timed causal fanin analysis for symbolic simulation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6911407)