BuDDy

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