Data Representation and Efficient Solution: A Decision Diagram Approach

DOI10.1007/978-3-540-72522-0_9zbMath1323.68049OpenAlexW2156296817MaRDI QIDQ3084594

Gianfranco Ciardo

Publication date: 25 March 2011

Published in: Formal Methods for Performance Evaluation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72522-0_9

zbMATH Keywords

binary decision diagramssymbolic model checkingKronecker algebramulti-valued decision diagramsstate-space generationedge-valued decision diagrams

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

Stochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential Sums

This page was built for publication: Data Representation and Efficient Solution: A Decision Diagram Approach