Malay K. Ganai

Available identifiers

zbMath Open ganai.malay-kMaRDI QIDQ947793

List of research outcomes

Publication	Date of Publication	Type
Symbolic predictive analysis for concurrent programs	2012-07-03	Paper
Trace-Based Symbolic Analysis for Atomicity Violations	2010-04-27	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
Efficient SAT-based bounded model checking for software verification	2008-10-07	Paper
Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination	2008-05-27	Paper
SAT-Based Scalable Formal Verification Solutions	2008-04-22	Paper
https://portal.mardi4nfdi.de/entity/Q5309035	2007-10-09	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
Formal Methods for Hardware Verification	2007-05-02	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Computer Aided Verification	2005-08-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Malay K. Ganai