Difference between revisions of "Java Team2 Benchmark1"
(→Formal Specification) |
|||
| Line 18: | Line 18: | ||
==== Formal Specification ==== | ==== Formal Specification ==== | ||
| + | |||
| + | ((!greylist)* ; greylist ; ((!whitelist)* ; depositTo ; (!whitelist)* ; depositTo ; (!whitelist)* ; depositTo ; (!whitelist)*) ; whitelist )* | ||
==== A FO-LTL Specification ==== | ==== A FO-LTL Specification ==== | ||
Revision as of 16:37, 2 June 2016
FiTS (A Financial Transaction System) is a bare-bones system mocking the behaviour of a financial transaction system. It emulates a virtual banking system in which users may open accounts from which they may perform money transfers. For more information read the manual at [1]
Categories: Financial
Contents
Benchmark Data
The Trace Part
Please upload your Java program to the server and include the necessary information (see rules document) here
The Property Part
See the rules for the necessary descriptions
Informal Description
Demonstration Traces
Formal Specification
((!greylist)* ; greylist ; ((!whitelist)* ; depositTo ; (!whitelist)* ; depositTo ; (!whitelist)* ; depositTo ; (!whitelist)*) ; whitelist )*
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.
