Searching for authors named "Nina Amla" – sorted by Relevance.
-
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

