Searching for authors named "Hong Peng" – sorted by Relevance.
-
Improving Compositional Verification through Environment Synthesis and Syntactic Model Reduction
- Reduction Hong Peng A Thesis in The Department of Electrical and Computer Engineering Presented
- Add To MetaCart
-
Formal Verification of an Asynchronous MAC Layer Protocol in VIS
- Formal Verification of an Asynchronous MAC Layer Protocol in VIS Hong Peng and Sofi`ene Tahar
- Add To MetaCart
-
A Survey on Compositional Verification
- A Survey on Compositional Verification Hong Peng and Sofi`ene Tahar Technical Report Dept
- Cited by 6 (2 self) – Add To MetaCart
-
Compositional Verification of an ATM Bit Error Rate Monitor Circuit
- Compositional Verification of an ATM Bit Error Rate Monitor Circuit Hong Peng and Sofi`ene Tahar
- Cited by 1 (1 self) – Add To MetaCart
-
Comparison of SPIN and VIS for Protocol Verification
- Comparison of SPIN and VIS for Protocol Verification Hong Peng, Sofi`ene Tahar and Ferhat Khendek
- Cited by 2 (1 self) – Add To MetaCart
-
Environment Synthesis for Compositional Model Checking
- Environment Synthesis for Compositional Model Checking Hong Peng, Yassine Mokhtari, and Sofiene
- Cited by 2 (1 self) – Add To MetaCart
-
Compositional Verification of IP Based Designs
- Compositional Verication of IP Based Designs Hong Peng and Soene Tahar Dept. of Electrical
- Cited by 2 (1 self) – Add To MetaCart
-
Model Reduction Based on Value Dependency
- Model Reduction Based on Value Dependency Hong Peng, Yassine Mokhtari and Soene Tahar Dept
- Cited by 2 (2 self) – Add To MetaCart

