Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks
| Autor: | Armin Biere, Paolo Pasini, Denis Patti, Danilo Vendraminetto, Carmelo Loiacono, Stefano Quer, Keijo Heljanko, Gianpiero Cabodi, Marco Palena |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
Model checking
Property Directed Reachability Computer science business.industry Formal equivalence checking 020207 software engineering 02 engineering and technology Abstraction model checking Binary Decision Diagrams Model Checking Equivalence Checking Satisfiability Solvers Interpolation IC3 Set (abstract data type) Competition (economics) 0202 electrical engineering electronic engineering information engineering Benchmark (computing) 020201 artificial intelligence & image processing business Equivalence (measure theory) Formal verification Computer hardware |
| Zdroj: | Journal on Satisfiability, Boolean Modeling and Computation. 9:135-172 |
| ISSN: | 1574-0617 |
| DOI: | 10.3233/sat190106 |
| Popis: | Model checkers and sequential equivalence checkers have become essential tools for the semiconductor industry in recent years. The Hardware Model Checking Competition (HWMCC) was founded in 2006 with the purpose of intensifying research interest in these technologies, and establishing more of a science behind them. For example, the conference provided a standardized benchmark format, a challenging and diverse set of industrially-relevant public benchmarks, and as a consequence, a significant motivation for additional research to advance the state-of-the-art in solvers for these verification problems. This paper provides an analysis of the tools and benchmarks submitted to the 2014 Hardware Model Checking Competition. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|