Jawahar Jain

Available identifiers

zbMath Open jain.jawaharMaRDI QIDQ685116

List of research outcomes

Publication	Date of Publication	Type
Under-approximation heuristics for grid-based bounded model checking	2013-09-26	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
Automated Technology for Verification and Analysis	2006-10-10	Paper
FM 2005: Formal Methods	2006-01-10	Paper
Efficient combinational verification using overlapping local BDDs and a hash table	2002-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q4885886	1996-07-28	Paper
Probabilistic verification of Boolean functions	1993-09-30	Paper

Research outcomes over time

This page was built for person: Jawahar Jain