Searching for authors named "Nina Amla" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Cadence Design Systems
- … Automatic Abstraction without Counterexamples K. L. McMillan and Nina Amla Cadence Design…
- Add To MetaCart
-
Automatic abstraction without counterexamples
- …Automatic Abstraction without Counterexamples K. L. McMillan and Nina Amla Cadence Design Systems…
- Cited by 69 (5 self) – Add To MetaCart
-
Abstract patterns for compositional reasoning
- … Abstract Patterns of Compositional Reasoning Nina Amla 1 , E. Allen Emerson 2 , Kedar…
- Cited by 5 (0 self) – Add To MetaCart
-
RTDT: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams
- …Rtdt: A Front-End for Ecient Model Checking of Synchronous Timing Diagrams Nina Amla 1 , E…
- Add To MetaCart
-
Efficient Decompositional Model-Checking for Regular Timing Diagrams
- …Efficient Decompositional Model-Checking for Regular Timing Diagrams Nina Amla y Dept…
- Cited by 10 (2 self) – Add To MetaCart
-
Experimental Analysis of Different Techniques for Bounded Model Checking
- …Experimental Analysis of Different Techniques for Bounded Model Checking Nina Amla 1 , Robert…
- Cited by 16 (1 self) – Add To MetaCart
-
Autoabs: Syntax-Directed Program Abstraction
- …Autoabs: Syntax-Directed Program Abstraction Nina Amla 1 , Robert P. Kurshan 1 , and Kedar S…
- Add To MetaCart
-
Compositional Reasoning for Asynchronous
- …Compositional Reasoning for Asynchronous Systems (DRAFT) Nina Amla 1 , E. Allen Emerson 2…
- Add To MetaCart
-
Model Checking Synchronous Timing Diagrams
- …Model Checking Synchronous Timing Diagrams Nina Amla 1 , E. Allen Emerson 1 , Robert P…
- Cited by 6 (3 self) – Add To MetaCart
-
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams
- …Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams Nina Amla 1 , E…
- Cited by 13 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
