Western Norway University of Applied Sciences is a working group to learn from and collaborate with government and organizations across the globe.
The trace generated by a C program that has LOR data race. There are 918 event in the trace.
The Intel processor trace generated by a simple C program with some functions and branches
The trace generated by the LOR race data C program. There are 918 event in the trace.
The trace data of ring buffer C program, *Related Data Story: *CTF in a nutshell [1] [1] http://dkan.isp.uni-luebeck.de/story/ctf-nutshell
The data race traces generated by another C program.
Here hosts the offline monitoring trace data used during the First International Competition on Runtime Verification (CRV 14). CRV 14 was held in September 2014, in Toronto, Canada, as a satellite event of the 14th international conference on...
