The following pages link to Malay K. Ganai (Q947793):
Displaying 13 items.
- (Q432144) (redirect page) (← links)
- Symbolic predictive analysis for concurrent programs (Q432146) (← links)
- Efficient SAT-based bounded model checking for software verification (Q947794) (← links)
- Trace-Based Symbolic Analysis for Atomicity Violations (Q3557086) (← 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)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703774) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703793) (← 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)
