BuDDy

swMATH5791MaRDI QIDQ17930FDOQ17930

Author name not available (Why is that?)

Official website: https://sourceforge.net/projects/buddy/

Cited In (39)

• Partial model checking of modal equations: a survey
• 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
• Verification, Model Checking, and Abstract Interpretation
• VMC
• ASPTools
• 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