The following pages link to BuDDy (Q17930):
Displaying 25 items.
- Formal verification of a Java component using the RESOLVE framework (Q831953) (← links)
- Boolean polynomials, BDDs and CRHS equations -- connecting the dots with CryptaPath (Q832343) (← links)
- Efficient stochastic sensitivity analysis of discrete event systems (Q870582) (← links)
- Providing a formal linkage between MDG and HOL (Q878110) (← links)
- Logic programs as compact denotations. (Q1426046) (← links)
- Efficient approach of translating LTL formulae into Büchi automata (Q1633083) (← links)
- Symbolic checking of fuzzy CTL on fuzzy program graph (Q1713411) (← links)
- Partial model checking of modal equations: a survey (Q1856172) (← links)
- An algebraic attack to the Bluetooth stream cipher \textsc{E0} (Q2081340) (← links)
- Abstraction and approximation in fuzzy temporal logics and models (Q2355383) (← links)
- Implementing semantic merging operators using binary decision diagrams (Q2379333) (← links)
- State-set branching: leveraging BDDs for heuristic search (Q2389616) (← links)
- (Q2726291) (← links)
- ACTION FAILURE RECOVERY VIA MODEL-BASED DIAGNOSIS AND CONFORMANT PLANNING (Q2857292) (← links)
- Hierarchical Set Decision Diagrams and Automatic Saturation (Q3510869) (← links)
- Computing Weakest Strategies for Safety Games of Imperfect Information (Q3617754) (← links)
- (Q4449303) (← links)
- An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description (Q4928444) (← links)
- Family-Based SPL Model Checking Using Parity Games with Variability (Q5039535) (← links)
- Interactive Cost Configuration Over Decision Diagrams (Q5190268) (← links)
- Automated Technology for Verification and Analysis (Q5394189) (← links)
- Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems (Q5450944) (← links)
- Programming Languages and Systems (Q5493378) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711499) (← links)
- Verification of large state/event systems using compositionality and dependency analysis (Q5929098) (← links)
