Benchmarks

A set of Benchmarks to test Concurrent Program verifiers. Mostly taken from SVCOMP'14 and SCTBench and Apache. It can used for testing the verifiers, which are static analysis based and also dynamic execution based. Have fun. :)

Name		Name	Last commit message	Last commit date
Latest commit History 298 Commits
AccountBad		AccountBad
AccountTest		AccountTest
ArithmeticProgBad		ArithmeticProgBad
Atomic01		Atomic01
Carter		Carter
DekkerSafe		DekkerSafe
FibBenchSafe		FibBenchSafe
HWQ		HWQ
IQ		IQ
IncCas		IncCas
IncDec		IncDec
IncDecCas		IncDecCas
IncTrue		IncTrue
LamportSafe		LamportSafe
Lazy01Safe		Lazy01Safe
LogProcSweep		LogProcSweep
MotivatingExample_1		MotivatingExample_1
MotivatingExample_2		MotivatingExample_2
MotivatingExample_4		MotivatingExample_4
PetersonSafe		PetersonSafe
Pfscan		Pfscan
Reorder		Reorder
ScullSafe		ScullSafe
Sigma		Sigma
SimpleLoopV5		SimpleLoopV5
StackSafe		StackSafe
Stateful01_Safe		Stateful01_Safe
Sync01_Safe		Sync01_Safe
Szymanski		Szymanski
TicketTrue		TicketTrue
TimeVarMutexSafe		TimeVarMutexSafe
TwoStage3_Unsafe		TwoStage3_Unsafe
aget		aget
bzip2		bzip2
nbds-hashtable		nbds-hashtable
nbds-list_index01		nbds-list_index01
nbds-skiplist01		nbds-skiplist01
qrcu		qrcu
README.md		README.md
cp_dpor_both.sh		cp_dpor_both.sh
cp_dpor_hapset_res.sh		cp_dpor_hapset_res.sh
cp_dpor_pcb_res.sh		cp_dpor_pcb_res.sh
cp_hapset_res_exp.sh		cp_hapset_res_exp.sh
cp_pcb_res_exp.sh		cp_pcb_res_exp.sh
cp_res_both.sh		cp_res_both.sh
daik_cmp.sh		daik_cmp.sh
gen_tbl_daik_rtool.sh		gen_tbl_daik_rtool.sh
run.sh		run.sh
run_daik.sh		run_daik.sh
run_tests.sh		run_tests.sh

arijitvt/Benchmarks

Folders and files

Latest commit

History

Repository files navigation

Benchmarks

About

Resources

Stars

Watchers

Forks

Languages