BuDDy
From MaRDI portal
Software:17930
swMATH5791MaRDI QIDQ17930FDOQ17930
Author name not available (Why is that?)
Cited In (25)
- Partial model checking of modal equations: a survey
- Formal verification of a Java component using the RESOLVE framework
- Boolean polynomials, BDDs and CRHS equations -- connecting the dots with CryptaPath
- Abstraction and approximation in fuzzy temporal logics and models
- State-set branching: leveraging BDDs for heuristic search
- GIB: Imperfect information in a computationally challenging game
- Efficient approach of translating LTL formulae into Büchi automata
- Computing Weakest Strategies for Safety Games of Imperfect Information
- Logic programs as compact denotations.
- Providing a formal linkage between MDG and HOL
- Automated Technology for Verification and Analysis
- Efficient stochastic sensitivity analysis of discrete event systems
- Implementing semantic merging operators using binary decision diagrams
- Programming Languages and Systems
- An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description
- Verification, Model Checking, and Abstract Interpretation
- Family-Based SPL Model Checking Using Parity Games with Variability
- Verification of large state/event systems using compositionality and dependency analysis
- Hierarchical Set Decision Diagrams and Automatic Saturation
- Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems
- Action failure recovery via model-based diagnosis and conformant planning
- An algebraic attack to the Bluetooth stream cipher \textsc{E0}
- Title not available (Why is that?)
- Symbolic checking of fuzzy CTL on fuzzy program graph
- Interactive Cost Configuration Over Decision Diagrams
This page was built for software: BuDDy