A new algorithm for partitioned symbolic reachability analysis

DOI10.1016/J.ENTCS.2008.12.036MaRDI QIDQ4982091zbMATHOpenAlexFDO

Authors Kai Lampka

Publication date 23 March 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.12.036

zbMATH Keywords

binary decision diagramsquantitative verification of systemssymbolic reachability analysis

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Symbolic computation and algebraic computation (68W30) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1629965
• Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications
• Validation of Stochastic Systems
• Automated Technology for Verification and Analysis
• Approximate Symbolic Reachability of Networks of Transition 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 2090710 (Why is no real title available?)
• scientific article; zbMATH DE number 1390338 (Why is no real title available?)
• Binary Decision Diagrams
• Graph-Based Algorithms for Boolean Function Manipulation
• Multi-terminal binary decision diagrams
• Pascal's prism

Cited in

(5)

• scientific article; zbMATH DE number 1979555 (Why is no real title available?)
• Tools and Algorithms for the Construction and Analysis of Systems
• Formal Methods in Computer-Aided Design
• Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications
• Partitioning of algebraic subexpressions in computer algebra systems: an alternative to matching with an application to symbolic integration

Describes a project that uses

Uses Software

• PRISM
• CASPA

This page was built for publication: A new algorithm for partitioned symbolic reachability analysis

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