Abstract | ||
---|---|---|
This special section contains a selection of contributions originally presented at the Third Haifa Verification Conference (HVC’07). The scope of this conference covers all types of verification of both hardware and software systems. While there ... |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/s10009-009-0117-2 | STTT |
Keywords | Field | DocType |
Decision Procedure, Symbolic Execution, Static Check, Bound Model Check, Shared Structure | Model checking,Reuse,Computer science,Static analysis,Theoretical computer science,Exploit,Real-time computing,Software,Symbolic execution,Scalability,Data flow diagram | Journal |
Volume | Issue | ISSN |
11 | 4 | 1433-2787 |
Citations | PageRank | References |
1 | 0.38 | 35 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Domagoj Babić | 1 | 145 | 7.11 |
Alan J. Hu | 2 | 1427 | 148.29 |