Searching for authors named "Muralidhar Talupur" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Range Allocation for Separation Logic
- …Range Allocation for Separation Logic Muralidhar Talupur 1 , Nishant Sinha 1 , Ofer Strichman 2…
- Cited by 3 (1 self) – Add To MetaCart
-
SAT based Predicate Abstraction for Hardware Verification
- …SAT based Predicate Abstraction for Hardware Verification ⋆ Edmund Clarke 1 , Muralidhar Talupur 1…
- Cited by 7 (3 self) – Add To MetaCart
-
Making Predicate Abstraction Efficient: How to eliminate redundant predicates
- … , Orna Grumberg Muralidhar Talupur , Dong Wang Carnegie Mellon University TECHNION - Israel Institute…
- Cited by 4 (2 self) – Add To MetaCart
-
Environment abstraction for parameterized verification
- …Environment Abstraction for Parameterized Verification ⋆ Edmund Clarke 1 , Muralidhar Talupur 1…
- Cited by 6 (0 self) – Add To MetaCart
-
SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver
- …@(email omitted); Muralidhar Talupur 2 tmurali@(email omitted); Aarti Gupta 1 agupta@(email omitted); 1 NEC Laboratories America…
- Cited by 3 (1 self) – Add To MetaCart
-
Revisiting Positive Equality
- …Revisiting Positive Equality ? Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, and Muralidhar…
- Cited by 6 (2 self) – Add To MetaCart
-
Verification by network decomposition
- …Verification by Network Decomposition ⋆ Edmund Clarke 1 , Muralidhar Talupur 1 , Tayssir Touili 1…
- Cited by 6 (0 self) – Add To MetaCart
Showing 1 through 7.
