The following pages link to Aarti Gupta (Q432145):
Displaying 35 items.
- Symbolic predictive analysis for concurrent programs (Q432146) (← links)
- Synthesizing environment invariants for modular hardware verification (Q784131) (← links)
- Efficient SAT-based bounded model checking for software verification (Q947794) (← links)
- Unbounded procedure summaries from bounded environments (Q2234080) (← links)
- Syntax-guided synthesis for lemma generation in hardware model checking (Q2234081) (← links)
- Lazy but effective functional synthesis (Q2287072) (← links)
- Donut Domains: Efficient Non-convex Domains for Abstract Interpretation (Q2891416) (← links)
- Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems (Q2985883) (← links)
- Model Checking Concurrent Programs (Q3176376) (← links)
- On the analysis of interacting pushdown systems (Q3189810) (← links)
- SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement (Q3522074) (← links)
- Whodunit? Causal Analysis for Counterexamples (Q3522901) (← links)
- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions (Q3540069) (← links)
- Trace-Based Symbolic Analysis for Atomicity Violations (Q3557086) (← links)
- Program Analysis Using Symbolic Ranges (Q3612010) (← links)
- Static Analysis in Disjunctive Numerical Domains (Q3613374) (← links)
- Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique (Q3636875) (← links)
- Efficient Probabilistic Model Checking of Systems with Ranged Probabilities (Q4899147) (← links)
- Fold/Unfold Transformations for Fixpoint Logic (Q5164174) (← links)
- Program analysis via satisfiability modulo path programs (Q5255063) (← links)
- (Q5309035) (← links)
- Computer Aided Verification (Q5312921) (← links)
- SAT-Based Scalable Formal Verification Solutions (Q5386252) (← links)
- Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination (Q5387848) (← links)
- Fast and Accurate Static Data-Race Detection for Concurrent Programs (Q5429324) (← links)
- Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra (Q5429329) (← links)
- Peephole Partial Order Reduction (Q5458339) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703774) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703793) (← links)
- Computer Aided Verification (Q5716543) (← links)
- Computer Aided Verification (Q5716592) (← links)
- Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions (Q5756735) (← links)
- Correct Hardware Design and Verification Methods (Q5897077) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899055) (← links)
- Formal Methods for Hardware Verification (Q5899155) (← links)
