swMATH5791MaRDI QIDQ17930FDOQ17930
Author name not available (Why is that?)
Official website: https://sourceforge.net/projects/buddy/
Cited In (49)
- Partial model checking of modal equations: a survey
- TBUDDY
- Family-based SPL model checking using parity games with variability
- SableJBDD
- 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
- ADD-Lib
- BDD
- dd
- JDD
- Sylvan
- 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
- Galileo
- GIB
- Prosper
- STCT
- CUDD
- visualSTATE
- Verification, Model Checking, and Abstract Interpretation
- VMC
- fCube
- BlockSim
- DeltaCCS
- CacBDD
- BDDIntKt
- Meddly
- lbtt
- ASPTools
- dtControl
- Verification of large state/event systems using compositionality and dependency analysis
- Hierarchical Set Decision Diagrams and Automatic Saturation
- CryptaPath
- 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
- An improved BDD method for intuitionistic propositional logic: BDDIntKt system description
- Interactive Cost Configuration Over Decision Diagrams
This page was built for software: BuDDy
