New pages
- 15:23, 14 July 2016 Offline Team1 Benchmark3 (hist) [3,446 bytes] Sylvain (Talk | contribs) (Created page with "Please read the beginning of Benchmark 1 for information about the context of this benchmark and a description of the trace format. ===== Informal Description ===== A Walker...")
- 15:21, 14 July 2016 Offline Team1 Benchmark2 (hist) [2,353 bytes] Sylvain (Talk | contribs) (Created page with "===== Informal Description ===== Every Basher must become a Walker when it stops bashing. Bashers dig horizontal tunnels into walls; all these walls are of finite dimensions...")
- 16:36, 14 June 2016 Offline BeepBeep 3 Benchmark3 (hist) [3,354 bytes] Giles (Talk | contribs) (Created page with "'''Pingus''' See Benchmark 1 for overview ''List of categories'' == Benchmark Data == === The Trace Part === See Benchmark 1 === The Property Part === Turn around =====...")
- 16:35, 14 June 2016 Offline BeepBeep 3 Benchmark2 (hist) [2,265 bytes] Giles (Talk | contribs) (Created page with "'''Pingus''' See Benchmark 1 for overview ''List of categories'' == Benchmark Data == === The Trace Part === See Benchmark 1 === The Property Part === Endless bashing =...")
- 09:08, 4 June 2016 Offline Team2 Benchmark3 (hist) [3,592 bytes] Giles (Talk | contribs) (Created page with "'''SQL Injection'''. An abstract property capturing the requirement that SQL query strings passed to a server, and any derived stings, should be sanitised before use. == Benc...")
- 09:00, 4 June 2016 Offline Team2 Benchmark2 (hist) [2,989 bytes] Giles (Talk | contribs) (Created page with "'''Candidate Selection'''. This property is about voters ranking candidates for a party. Primarily it demonstrates the use of existential quantification in the QEA formalism....")
- 21:11, 3 June 2016 Offline Team2 Benchmark1 (hist) [4,270 bytes] Giles (Talk | contribs) (Created page with "'''AuctionBidding'''. This property is about bids on items on an online auction site. == Benchmark Data == === The Trace Part === There are 4 traces in marq/offline/bench1...")
- 21:10, 3 June 2016 Offline Team3 Benchmark1 (hist) [8,566 bytes] Giles (Talk | contribs) (Created page with "'''AuctionBidding'''. This property is about bids on items on an online auction site. == Benchmark Data == === The Trace Part === There are 4 traces in marq/offline/bench1...")
- 20:42, 3 June 2016 Java Team3 Benchmark3 (hist) [4,736 bytes] Giles (Talk | contribs) (Created page with "'''ResourceLifecycle'''. This property is about an abstracted resource management system and captures the required lifecycle of a resource object. == Benchmark Data == === T...")
- 16:46, 3 June 2016 C generic Team1 (E-ACSL) Benchmark3 (hist) [1,811 bytes] E-acsl (Talk | contribs) (→Vampire number)
- 16:45, 3 June 2016 C generic Team1 (E-ACSL) Benchmark2 (hist) [1,217 bytes] E-acsl (Talk | contribs) (→Loop invariant)
- 16:45, 3 June 2016 C generic Team1 (E-ACSL) Benchmark1 (hist) [1,697 bytes] E-acsl (Talk | contribs) (→Integer overflow)
- 16:36, 3 June 2016 C implicit Team1 (E-ACSL) Benchmark3 (hist) [1,135 bytes] E-acsl (Talk | contribs) (→Benchmark 3) originally created as "C implicit Team1 Benchmark3"
- 16:35, 3 June 2016 C implicit Team1 (E-ACSL) Benchmark2 (hist) [1,155 bytes] E-acsl (Talk | contribs) (→Benchmark 2) originally created as "C implicit Team1 Benchmark2"
- 16:30, 3 June 2016 C implicit Team1 (E-ACSL) Benchmark1 (hist) [1,114 bytes] E-acsl (Talk | contribs) (Created page with "== Benchmark Data == This benchmark is located in ''crv.liflab.ca@/home/e-acsl/crv16_benchmarks/c-implicit-track/heap-performance'' === The Trace Part === E-ACSL has no not...") originally created as "C implicit Team0 Benchmark1"
- 16:32, 2 June 2016 Java Team3 Benchmark2 (hist) [5,617 bytes] Giles (Talk | contribs) (Created page with "'''AnnoyingFriend'''. The setting is that of people sending messages to each other on social networks Category: Social Networks == Benchmark Data == === The Trace Part ===...")
- 16:12, 2 June 2016 Java Team3 Benchmark1 (hist) [6,008 bytes] Giles (Talk | contribs) (Created page with "'''PublisherSubscriber'''. The setting is that of publisher and subscriber nodes where publisher nodes broadcast messages and subscriber nodes acknowledge received messages. T...")
- 14:41, 2 June 2016 Java Team2 Benchmark3 (hist) [4,506 bytes] Larva (Talk | contribs) (Created page with "'''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...")
- 14:41, 2 June 2016 Java Team2 Benchmark2 (hist) [5,177 bytes] Larva (Talk | contribs) (Created page with "'''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...")
- 14:41, 2 June 2016 Java Team2 Benchmark1 (hist) [5,213 bytes] Larva (Talk | contribs) (Created page with "'''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...")
- 08:05, 28 May 2016 Offline BeepBeep 3 Benchmark1 (hist) [5,761 bytes] Sylvain (Talk | contribs) (Created page with "'''Name of benchmark''' Synthetic execution traces of the video game Pingus, used for runtime verification. All details regarding these traces can be found in the paper [https...") originally created as "Offline Team1 Benchmark1"
- 08:24, 26 May 2016 Java Team4 Benchmark3 (hist) [3,447 bytes] Mufin (Talk | contribs) (Created page with "This benchmark aims at measuring the performance of tracking a large number of individual objects and their behaviour with respect to a central synchronising entity. A "devic...")
- 08:23, 26 May 2016 Java Team4 Benchmark2 (hist) [3,885 bytes] Mufin (Talk | contribs) (Created page with "This benchmark is about a multiplexer with different channels and connected streams and clients. Such a Multiplexer consists of four channels. Only one if the four channels is...")
- 08:15, 26 May 2016 Java Team4 Benchmark1 (hist) [9,632 bytes] Mufin (Talk | contribs) (Created page with "This benchmark aims at measuring the performance of tracking the behaviour of a large number of communicating entities. These entities are represented by objects, but they are...")
- 19:34, 20 May 2016 Benchmark Template - C implicit track (hist) [955 bytes] Giles (Talk | contribs) (Created page with "'''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...")
- 19:32, 20 May 2016 C implicit track (hist) [2,302 bytes] Giles (Talk | contribs) (Created page with "The C implicit track is concerned with the monitoring of implicit properties of C programs. This is the first time we are running this track and want to be somewhat guided by...")
- 18:23, 20 May 2016 Benchmark Template - C generic track (hist) [953 bytes] Giles (Talk | contribs) (Created page with "'''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...")
- 16:40, 20 May 2016 Benchmark Template - Java track (hist) [960 bytes] Giles (Talk | contribs) (Created page with "The Java track is concerned with the monitoring of Java programs. A benchmark will consist of a Java program and a specification (see the rules document). Please follow the e...")
- 08:52, 20 May 2016 Server Instructions (hist) [1,776 bytes] Sylvain (Talk | contribs) (Instructions on how to access the server and setup your tool)
- 23:26, 23 April 2016 C generic track (hist) [2,126 bytes] Giles (Talk | contribs) (Created page with "The C generic track is concerned with the monitoring of C programs. A benchmark will consist of a C program and a specification (see the rules document). Please follow the ex...")
- 23:25, 23 April 2016 C track (hist) [322 bytes] Giles (Talk | contribs) (Created page with "There are two subtracks for this track this year. The generic track is for generic specifications (in the same style as those found in the Java and Offline track). The implici...")
- 23:23, 23 April 2016 Java track (hist) [3,605 bytes] Giles (Talk | contribs) (Created page with "The Java track is concerned with the monitoring of Java programs. A benchmark will consist of a Java program and a specification (see the rules document). Please follow the e...")
