Vigyan Singhal

From MaRDI portal
Person:698101

Available identifiers

zbMath Open singhal.vigyanMaRDI QIDQ698101

List of research outcomes





PublicationDate of PublicationType
Equivalences for fair Kripke structures2019-04-29Paper
Model-checking continuous-time Markov chains2017-06-13Paper
https://portal.mardi4nfdi.de/entity/Q48175342004-09-24Paper
An abstraction algorithm for the verification of level-sensitive latch-based netlists2004-03-15Paper
BDD based procedures for a theory of equality with uninterpreted functions2003-05-11Paper
Formula-dependent equivalence for compositional CTL model checking2002-09-18Paper
https://portal.mardi4nfdi.de/entity/Q27540702001-11-11Paper
Model checking: a hardware design perspective1999-01-01Paper

Research outcomes over time

This page was built for person: Vigyan Singhal

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:698101&oldid=7475559"
Powered by MediaWiki