scientific article; zbMATH DE number 1390338
From MaRDI portal
Publication:4934627
zbMath0948.68215MaRDI QIDQ4934627
Publication date: 13 November 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
testingmodel checkinggraph algorithmspropositional formulasbinary decision diagramshardware verificationsequential circuitsboolean functionslogical circuits
Nonnumerical algorithms (68W05) Graph theory (including graph drawing) in computer science (68R10) Computing methodologies and applications (68U99)
Related Items
An efficient algorithm for computing bisimulation equivalence, Data structures for symbolic multi-valued model-checking, On the use of binary decision diagrams for solving problems on simple games, Shared Ordered Binary Decision Diagrams for Dempster-Shafer Theory, Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types, Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control, Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic, Outlier detection using binary decision diagrams, Symbolic graphs: Linear solutions to connectivity related problems, Rank-Based Symbolic Bisimulation, Power indices of simple games and vector-weighted majority games by means of binary decision diagrams, A New Algorithm for Partitioned Symbolic Reachability Analysis
