On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model Checking

DOI10.1007/978-3-642-27940-9_8zbMath1325.68142OpenAlexW1909079473MaRDI QIDQ2891405

Dmitry Bugaychenko

Publication date: 15 June 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-27940-9_8

zbMATH Keywords

binary decision diagramsprobabilistic model checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model Checking

Uses Software

• CUDD

Cites Work

• Unnamed Item
• Application of multiroot decision diagrams for integer functions
• On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model Checking
• Improving the variable ordering of OBDDs is NP-complete

This page was built for publication: On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model Checking