Searching for authors named "Kavita Ravi" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Efficient Decision Procedures for Model Checking of Linear Time Logic Properties
- … 1 , Kavita Ravi 2 , and Fabio Somenzi 1 1 Department of Electrical and Computer Engineering…
- Cited by 32 (11 self) – Add To MetaCart
-
A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles
- …A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles ? Kavita Ravi 1…
- Cited by 17 (5 self) – Add To MetaCart
-
Symbolic Guided Search for CTL Model Checking
- …Abstract Symbolic Guided Search for CTL Model Checking Roderick Bloem 1 Kavita Ravi 2 Fabio…
- Cited by 29 (2 self) – Add To MetaCart
-
Approximations for Fixpoint Computations in Symbolic Model Checking
- …-Ho Moon 1 , Kavita Ravi 2 , and Fabio Somenzi 1 1 Department of Electrical and Computer Engineering…
- Cited by 1 (0 self) – Add To MetaCart
-
Compositional SCC Analysis for Language Emptiness ∗
- … University of Technology, Austria GARY D. HACHTEL University of Colorado at Boulder, USA KAVITA RAVI Cadence…
- Add To MetaCart
-
Modular Verification of Multipliers
- … of Multipliers Kavita Ravi Abelardo Pardo Gary D. Hachtel Fabio Somenzi Dept. of Electrical and Computer…
- Cited by 3 (0 self) – Add To MetaCart
-
Divide and Compose: SCC Refinement for Language Emptiness
- … , Gary D. Hachtel 1 , Kavita Ravi 2 , and Fabio Somenzi 1 1 University of Colorado at Boulder…
- Cited by 2 (2 self) – Add To MetaCart
-
To Split or to Conjoin: The Question in Image Computation
- … and/or a fee. DAC 2000, Los Angeles, California (c) 2000 ACM 1-58113-188-7/00/0006..$5.00 Kavita Ravi…
- Cited by 21 (9 self) – Add To MetaCart
-
Approximation and Decomposition of Binary Decision Diagrams
- …Abstract Approximation and Decomposition of Binary Decision Diagrams Kavita Ravi University…
- Cited by 25 (0 self) – Add To MetaCart
Showing 1 through 9.
