BuDDy
From MaRDI portal
Software:17930
No author found.
Related Items (25)
Family-Based SPL Model Checking Using Parity Games with Variability ⋮ Formal verification of a Java component using the RESOLVE framework ⋮ Boolean polynomials, BDDs and CRHS equations -- connecting the dots with CryptaPath ⋮ Efficient approach of translating LTL formulae into Büchi automata ⋮ Implementing semantic merging operators using binary decision diagrams ⋮ Unnamed Item ⋮ State-set branching: leveraging BDDs for heuristic search ⋮ Automated Technology for Verification and Analysis ⋮ Efficient stochastic sensitivity analysis of discrete event systems ⋮ Verification, Model Checking, and Abstract Interpretation ⋮ Providing a formal linkage between MDG and HOL ⋮ Unnamed Item ⋮ Hierarchical Set Decision Diagrams and Automatic Saturation ⋮ Symbolic checking of fuzzy CTL on fuzzy program graph ⋮ Logic programs as compact denotations. ⋮ Programming Languages and Systems ⋮ Verification of large state/event systems using compositionality and dependency analysis ⋮ An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description ⋮ Interactive Cost Configuration Over Decision Diagrams ⋮ Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems ⋮ Computing Weakest Strategies for Safety Games of Imperfect Information ⋮ An algebraic attack to the Bluetooth stream cipher \textsc{E0} ⋮ ACTION FAILURE RECOVERY VIA MODEL-BASED DIAGNOSIS AND CONFORMANT PLANNING ⋮ Partial model checking of modal equations: a survey ⋮ Abstraction and approximation in fuzzy temporal logics and models
This page was built for software: BuDDy
