Book chapter
StarExec: A Cross-Community Infrastructure for Logic Solving
Automated Reasoning, pp.367-373
Lecture Notes in Computer Science, Springer International Publishing
2014
DOI: 10.1007/978-3-319-08587-6_28
Abstract
We introduce StarExec, a public web-based service built to facilitate the experimental evaluation of logic solvers, broadly understood as automated tools based on formal reasoning. Examples of such tools include theorem provers, SAT and SMT solvers, constraint solvers, model checkers, and software verifiers. The service, running on a compute cluster with 380 processors and 23 terabytes of disk space, is designed to provide a single piece of storage and computing infrastructure to logic solving communities and their members. It aims at reducing duplication of effort and resources as well as enabling individual researchers or groups with no access to comparable infrastructure. StarExec allows community organizers to store, manage and make available benchmark libraries; competition organizers to run logic solver competitions; and community members to do comparative evaluations of logic solvers on public or private benchmark problems.
Details
- Title: Subtitle
- StarExec: A Cross-Community Infrastructure for Logic Solving
- Creators
- Aaron Stump - University of IowaGeoff Sutcliffe - University of MiamiCesare Tinelli - University of Iowa
- Resource Type
- Book chapter
- Publication Details
- Automated Reasoning, pp.367-373
- Publisher
- Springer International Publishing; Cham
- Series
- Lecture Notes in Computer Science
- DOI
- 10.1007/978-3-319-08587-6_28
- eISSN
- 1611-3349
- ISSN
- 0302-9743
- Language
- English
- Date published
- 2014
- Academic Unit
- Computer Science
- Record Identifier
- 9984259422002771
Metrics
9 Record Views