Constructing efficient formal models from high-level descriptions using symbolic simulation

DOI10.1007/s10766-005-8910-3zbMath1100.68067OpenAlexW1977902681MaRDI QIDQ2506268

Alfred Koelbl, Carl P. Pixley

Publication date: 28 September 2006

Published in: International Journal of Parallel Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10766-005-8910-3

zbMATH Keywords

Data-Flow-Graphhigh-level modelSymbolic simulation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Graph-Based Algorithms for Boolean Function Manipulation

This page was built for publication: Constructing efficient formal models from high-level descriptions using symbolic simulation