|
1
|
Sources for benchmarks:
|
|
2
|
|
|
3
|
durationThm*: based on problems by Bertrand Jeannet (courtesy Anders Franzen)
|
|
4
|
|
|
5
|
switch*: based on problems from
|
|
6
|
N. Halbwachs, P Raymond "A Tutorial of Lustre", 2002
|
|
7
|
|
|
8
|
ticket3i*: based on problems by David Merchant* (courtesy Anders Franzen)
|
|
9
|
|
|
10
|
traffic*: based on problems by Koen Classen (courtesy Anders Franzen)
|
|
11
|
|
|
12
|
_6counter*, ex*, stalmark*, twisted_counters.lus, two_counters*: based on
|
|
13
|
problems by George Hagen
|
|
14
|
|
|
15
|
|
|
16
|
Please note that many of these benchmarks contain deliberately introduced
|
|
17
|
modifications to alter their behaviors, and do not necessarily reflect the
|
|
18
|
original creator's design intentions.
|