The following pages link to Adnan Aziz (Q698099):
Displaying 9 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)
- BDD based procedures for a theory of equality with uninterpreted functions (Q1870209) (← links)
- (Q2754070) (← links)
- Equivalences for fair Kripke structures (Q4632440) (← links)
- (Q4817534) (← links)
- Constraint-Based Verification (Q5201279) (← links)
- Correct Hardware Design and Verification Methods (Q5493232) (← links)
- Model-checking continuous-time Markov chains (Q5738903) (← links)
