The following pages link to Vigyan Singhal (Q698101):
Displaying 4 items.
- Formula-dependent equivalence for compositional CTL model checking (Q698104) (← links)
- An abstraction algorithm for the verification of level-sensitive latch-based netlists (Q1425001) (← links)
- Model checking: a hardware design perspective (Q1856178) (← links)
- BDD based procedures for a theory of equality with uninterpreted functions (Q1870209) (← links)
