Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications

DOI10.1007/S10703-010-0095-8MaRDI QIDQ600975zbMATH OpenOpenAlexFDO

Authors Kai Lampka, Markus Siegle, Jörn Ossowski, Christel Baier

Publication date 3 November 2010

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

Full work available at URL http://hdl.handle.net/20.500.11850/22325

zbMATH Keywords

binary decision diagrams and their algorithmsquantitative verification of systemssymbolic data structures for performance analysis

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A new algorithm for partitioned symbolic reachability analysis
• On the use of MTBDDs for performability analysis and verification of stochastic systems.
• Zero-suppressed BDDs and their applications
• scientific article; zbMATH DE number 1423226
• Validation of Stochastic Systems

Cites work

• scientific article; zbMATH DE number 1538049 (Why is no real title available?)
• scientific article; zbMATH DE number 1890701 (Why is no real title available?)
• scientific article; zbMATH DE number 763717 (Why is no real title available?)
• scientific article; zbMATH DE number 899656 (Why is no real title available?)
• scientific article; zbMATH DE number 1423226 (Why is no real title available?)
• Binary Decision Diagrams
• Branching Programs and Binary Decision Diagrams
• Exploiting interleaving semantics in symbolic state-space generation
• Graph-Based Algorithms for Boolean Function Manipulation
• On the use of MTBDDs for performability analysis and verification of stochastic systems.
• Validation of Stochastic Systems
• Zero-suppressed BDDs and their applications

Cited in

(3)

• Extracting co-occurrence relations from ZDDs
• A new algorithm for partitioned symbolic reachability analysis
• Some notes on the abstraction operation for multi-terminal binary decision diagrams

Describes a project that uses

Uses Software

• CUDD
• CASPA
• PRISM

This page was built for publication: Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications

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