Name
Title | ||
|---|---|---|
Hardware Model Checking Competition 2014: An Analysis and Comparison of Solvers and Benchmarks. |
Year | Venue | Field |
|---|---|---|
2014 | JSAT | Formal equivalence checking,Abstraction model checking,Discrete mathematics,Model checking,Computer science,Interpolation,Satisfiability,Theoretical computer science,Equivalence (measure theory),Computer hardware,Semiconductor industry,Formal verification |
DocType | Volume | Citations |
Journal | 9 | 0 |
PageRank | References | Authors |
0.34 | 0 | 9 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Gianpiero Cabodi | 1 | 352 | 37.41 |
| Carmelo Loiacono | 2 | 18 | 2.71 |
| Marco Palena | 3 | 24 | 6.21 |
| Pasini, P. | 4 | 23 | 5.86 |
| Denis Patti | 5 | 0 | 0.34 |
| Stefano Quer | 6 | 396 | 37.74 |
| Danilo Vendraminetto | 7 | 6 | 3.16 |
| Armin Biere | 8 | 4106 | 245.11 |
| Keijo Heljanko | 9 | 751 | 47.90 |