Zheng, Hao - Department of Computer Science and Engineering, University of South Florida

Advanced Search

Zheng, Hao - Department of Computer Science and Engineering, University of South Florida

Hao Zheng Verification Research Undergraduate Research Position Available
Verification of Timed Circuits with Failure Directed Abstractions
Logic Model Checking primary course website
A Compositional Approach to Asynchronous Design Verification with Automated State Space Reduction
IEEE TRANSACTIONS ON CAD, VOL. XXX, NO. XXX, OCTOBER 2008 1 Compositional Reachability Analysis for Efficient
IEEE TRANSACTIONS ON CAD, VOL. XXX, NO. XXX, OCTOBER 2008 1 Automated Interface Refinement for Compositional
A Compositional Method with Failure-Preserving Abstraction for Asynchronous Design Verification
Automatic Abstraction for Verification of Cyber-Physical Systems
You and Your Research Dr. Richard W. Hamming
Int J Softw Tools Technol Transfer (2005) 7: 156173 / Digital Object Identifier (DOI) 10.1007/s10009-004-0183-4 A survey of recent advances in SAT-based formal verification
Computer-aided verification Theorem proving and model checking are powerful tools that can
The Quest for Efficient Boolean Satisfiability Solvers {lintaoz,sharad}@ee.Princeton.edu
TRANSACTIONS ON CAD 1 A Survey of Automated Techniques for
Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement
9DOLGDWLQJ WKH ,QWHO 0LFURSURFHVVRU
A Survey of Hybrid Techniques for
A Compositional Method with Failure-Preserving Abstraction for Asynchronous Design Verification
7/8/11 2:30 PMWhen the Problem Is the Problem -IEEE Spectrum Page 1 of 2http://spectrum.ieee.org/at-work/innovation/when-the-problem-is-the-problem
JULY 2011 | VOL. 54 | NO. 7 | COMMUNICATIONS OF THE ACM 35 viewpointsPHOTOGRAPHCOURTESYOFNASA
A Behavioral Analysis Approach for Efficient Partial Order Reduction