Searching for authors named "Hong Peng" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
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
Showing 1 through 8.
