CS Structure

About CS Structure | Search | Help  

 

  • distributed system; shared memory; operating system; real-time system ( Subthemes )
  •          model checking; petri nets; hybrid system; timed automata ( Subthemes )
  •                  decision diagram; model checking; binary decision; symbolic model ( Subthemes )
  •                          decision diagram; binary decision; bdd minimization; branching program ( Subthemes )
  • GRAPH-BASED ALGORITHMS FOR BOOLEAN FUNCTION MANIPULATION - BRYANT  
    By
    Date 
    Refs | Theme tree | Cited by 1308 This paper is cited in the following contexts

    Citation List: key=1001058
     

    Citation List:

    Citation Tree

    1) SYMBOLIC MODEL CHECKING: 10 20 STATES AND BEYOND  
    By D. L. Dill    E. M. Clarke    J. R. Burch    K. L. Mcmillan    L. J. Hwang
    Date  March 1996
    Refs | Theme tree | Cited by 642 |  CiteSeer   (Hub Citation)

    2) ALGEBRAIC DECISION DIAGRAMS AND THEIR APPLICATIONS  
    By A. Frohm    Abelardo Pardo    Bahar Erica    Charles M. Gaona    Enrico Macii    Fabio Somenzi    Gary D. Hachtel    R. Iris
    Date  August 1996
    Refs | Theme tree | Cited by 113 |  CiteSeer  

    3) SYMBOLIC MODEL CHECKING FOR SEQUENTIAL CIRCUIT VERIFICATION  
    By D. E. Long    D. L. Dill    E. M. Clarke    J. R. Burch    K. L. Mcmillan
    Date  December 1993
    Refs | Theme tree | Cited by 139 |  CiteSeer  

    4) MODEL CHECKING AND ABSTRACTION  
    By David E. Long    Edmund M. Clarke
    Date  December 1995
    Refs | Theme tree | Cited by 181 |  CiteSeer  

    5) VERIFICATION OF ARITHMETIC FUNCTIONS WITH BINARY MOMENT DIAGRAMS  
    By Randal E. Bryant    Yirng-an Chen
    Date  June 1994
    Refs | Theme tree | Cited by 74 |  CiteSeer  

    6) CUDD: CU DECISION DIAGRAM PACKAGE RELEASE 2.2.0  
    By Fabio Somenzi
    Date  May 1998
    Refs | Theme tree | Cited by 55 |  CiteSeer  

    7) SYMBOLIC MODEL CHECKING WITH PARTITIONED TRANSITION RELATIONS  
    By D. E. Long    E. M. Clarke    J. R. Burch
    Date  July 1992
    Refs | Theme tree | Cited by 57 |  CiteSeer  

    8) SYMBOLIC MODEL CHECKING WITHOUT BDDS  
    By Alessandro Cimatti    Armin Biere    Edmund Clarke    Yunshan Zhu
    Date  January 1999
    Refs | Theme tree | Cited by 113 |  CiteSeer  

    9) SYMBOLIC MODEL CHECKING FOR REAL-TIME SYSTEMS  
    By Joseph Sifakis    Miniparc-zirst Rue Lavoisier    Sergio Yovine    Thomas A. Henzinger    Xavier Nicollin
    Date  July 1996
    Refs | Theme tree | Cited by 329 |  CiteSeer  

    10) VERIFICATION OF ARITHMETIC CIRCUITS WITH BINARY MOMENT DIAGRAMS  
    By Al E. Bryant    Yirng-an Chen
    Date  January 1997
    Refs | Theme tree | Cited by 47 |  CiteSeer  

    11) PETRI NET ANALYSIS USING BOOLEAN MANIPULATION  
    By Enric Pastor    Jordi Cortadella    Oriol Roig    Rosa M. Badia
    Date  June 1994
    Refs | Theme tree | Cited by 59 |  CiteSeer  

    12) HEURISTIC MINIMIZATION OF BDDS USING DON'T CARES  
    By Alberto L. Sangiovanni-vincentelli    Ramin Hojati    Robert K. Brayton    Thomas R. Shiple
    Date  April 1994
    Refs | Theme tree | Cited by 41 |  CiteSeer  

    13) BINARY DECISION DIAGRAMS AND BEYOND: ENABLING TECHNOLOGIES FOR FORMAL VERIFICATION  
    By Randal E. Bryant
    Date  January 1997
    Refs | Theme tree | Cited by 34 |  CiteSeer  

    14) SIMULATED ANNEALING TO IMPROVE VARIABLE ORDERINGS FOR OBDDS  
    By And Ingo Wegener    Beate Bollig    Martin Lobbing
    Date  June 1995
    Refs | Theme tree | Cited by 26 |  CiteSeer  

    15) SYMBOLIC MODEL CHECKING USING SAT PROCEDURES INSTEAD OF BDDS  
    By A. Biere    A. Cimatti    E. M. Clarke    M. Fujita    Y. Zhu
    Date  September 1999
    Refs | Theme tree | Cited by 53 |  CiteSeer  

    16) A PERFORMANCE STUDY OF BDD-BASED MODEL CHECKING  
    By Al E. Bryant    Armin Biere    Bwolen Yang    David R. O'hallaron    Fabio Somenzi    Geert Janssen    Olivier Coudert    Rajeev K. Ranjan
    Date  December 1998
    Refs | Theme tree | Cited by 25 |  CiteSeer  

    17) ANOTHER LOOK AT LTL MODEL CHECKING  
    By E. Clarke    K. Hamaguchi    O. Grumberg
    Date  March 1994
    Refs | Theme tree | Cited by 61 |  CiteSeer  

    18) BOOLEAN EXPRESSION DIAGRAMS  
    By Henrik Hulgaard    Henrik Reif Andersen
    Date  June 1998
    Refs | Theme tree | Cited by 20 |  CiteSeer  

    19) FORMAL METHODS: STATE OF THE ART AND FUTURE DIRECTIONS  
    By Edmund M. Clarke    Jeannette M. Wing
    Date  November 1996
    Refs | Theme tree | Cited by 176 |  CiteSeer  

    20) VERIFICATION TOOLS FOR FINITE-STATE CONCURRENT SYSTEMS  
    By D. Long    E. Clarke    O. Grumberg
    Date  October 1993
    Refs | Theme tree | Cited by 85 |  CiteSeer  

    21) FAST OFDD BASED MINIMIZATION OF FIXED POLARITY REED-MULLER EXPRESSIONS  
    By Bernd Becker    Michael Theobald    Rolf Drechsler
    Date  April 1995
    Refs | Theme tree | Cited by 22 |  CiteSeer  

    22) COMPUTING QUANTITATIVE CHARACTERISTICS OF FINITE-STATE REAL-TIME SYSTEMS  
    By E. Clarke    H. Hiraishi    M. Minea    S. Campos    W. Marrero
    Date  October 1997
    Refs | Theme tree | Cited by 32 |  CiteSeer  

    23) MODEL CHECKING LARGE SOFTWARE SPECIFICATIONS  
    By David Notkin    Francesmary Modugno    Jon Reese    Paul Beame    Richard J. Anderson    Steve Burns    William Chan
    Date  April 1997
    Refs | Theme tree | Cited by 68 |  CiteSeer  

    24) AUTOMATIC OBDD-BASED GENERATION OF UNIVERSAL PLANS IN NON-DETERMINISTIC . . .  
    By A. Cimatti    M. Roveri    P. Traverso
    Date  May 1998
    Refs | Theme tree | Cited by 39 |  CiteSeer  

    25) SYMMETRY DETECTION AND DYNAMIC VARIABLE ORDERING OF DECISION DIAGRAMS  
    By Bernard F. Plessier    Fabio Somenzi    Shipra Panda
    Date  March 1998
    Refs | Theme tree | Cited by 21 |  CiteSeer  

  • Next 25 articles...