Difference between revisions of "Benchmark Template - Offline track"
(Created page with "TODO: update ''Two to three line overview of benchmark.'' == Benchmark Data == === Specification Information === ''Describe the specification being monitored. The descript...") |
|||
Line 1: | Line 1: | ||
− | + | '''Name of benchmark''' Two or three sentences that describe the benchmark. These can mention the domain, scope or source or the benchmark. Or might suggest the purpose of the benchmark i.e. to demonstrate a certain feature. ''List of categories'' | |
− | + | ||
− | ''Two | + | |
== Benchmark Data == | == Benchmark Data == | ||
− | === | + | === The Trace Part === |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | Please upload the trace files to the server and include the necessary information (see rules document) here. | |
− | + | === The Property Part === | |
− | The | + | |
− | + | See the rules for the necessary descriptions of what should be included in the following sections | |
− | + | ||
− | + | ||
− | === | + | ==== Informal Description ==== |
− | + | ==== Demonstration Traces ==== | |
− | == | + | ==== Formal Specification ==== |
− | + | ==== A FO-LTL Specification ==== | |
== Clarification Requests == | == Clarification Requests == | ||
This is a space where other teams can ask for clarifications and the submitting team can answer. When a team requests a clarification, the team should be mentioned in the request and the request timestamped. The team submitting the benchmark should ensure they watch this page so that they get notifications of questions. | This is a space where other teams can ask for clarifications and the submitting team can answer. When a team requests a clarification, the team should be mentioned in the request and the request timestamped. The team submitting the benchmark should ensure they watch this page so that they get notifications of questions. |
Latest revision as of 18:20, 20 May 2016
Name of benchmark Two or three sentences that describe the benchmark. These can mention the domain, scope or source or the benchmark. Or might suggest the purpose of the benchmark i.e. to demonstrate a certain feature. List of categories
Contents
Benchmark Data
The Trace Part
Please upload the trace files to the server and include the necessary information (see rules document) here.
The Property Part
See the rules for the necessary descriptions of what should be included in the following sections
Informal Description
Demonstration Traces
Formal Specification
A FO-LTL Specification
Clarification Requests
This is a space where other teams can ask for clarifications and the submitting team can answer. When a team requests a clarification, the team should be mentioned in the request and the request timestamped. The team submitting the benchmark should ensure they watch this page so that they get notifications of questions.