Loading...
Please wait, while we are loading the content...
Similar Documents
Evaluating software verification systems: benchmarks and competitions
| Content Provider | Semantic Scholar |
|---|---|
| Author | Beyer, Dirk Huisman, Marieke Klebanov, Vladimir Monahan, Rosemary |
| Copyright Year | 2014 |
| Abstract | This report documents the program and the outcomes of Dagstuhl Seminar 14171 “Evaluating Software Verification Systems: Benchmarks and Competitions”. The seminar brought together a large group of current and future competition organizers and participants, benchmark maintainers, as well as practitioners and researchers interested in the topic. The seminar was conducted as a highly interactive event, with a wide spectrum of contributions from participants, including talks, tutorials, posters, tool demonstrations, hands-on sessions, and a live competition. |
| Starting Page | 1 |
| Ending Page | 19 |
| Page Count | 19 |
| File Format | PDF HTM / HTML |
| Volume Number | 4 |
| Alternate Webpage(s) | http://eprints.eemcs.utwente.nl/25717/01/dagrep_v004_i004_p001_s14171.pdf |
| Alternate Webpage(s) | http://doc.utwente.nl/94671/1/dagrep_v004_i004_p001_s14171.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |