Index of /botva-r22/8 Cеместр/Верификация(бывший МФСП)/Сделанные дз/5_ready

	Name	Last modified	Size
	Parent Directory		-
	counterexample_1.txt	14-Mar-2013 08:24	1.7K
	counterexample_2.txt	14-Mar-2013 08:24	5.3K
	prog_counterexample_1.txt	14-Mar-2013 08:23	238
	prog_counterexample_2.txt	14-Mar-2013 08:23	447
	solution.txt	14-Mar-2013 08:24	928
	spec.ltl	14-Mar-2013 08:23	1.4K
	spec_1.ltl	14-Mar-2013 08:24	354
	spec_2.ltl	14-Mar-2013 08:24	883
	spec_3.ltl	14-Mar-2013 08:24	1.4K
	spec_4.ltl	14-Mar-2013 08:24	175
	spec_5.ltl	14-Mar-2013 08:23	1.1K
	task5.c	14-Mar-2013 08:23	3.2K
	task5.pml	14-Mar-2013 08:24	1.4K
	task5_assert.pml	14-Mar-2013 08:24	3.5K
	task5_assert_1_out.txt	14-Mar-2013 08:24	632
	task5_assert_2_out.txt	14-Mar-2013 08:24	663
	task5_assert_3_out.txt	14-Mar-2013 08:24	735
	task5_assert_4_out.txt	14-Mar-2013 08:24	821
	task5_modified.pml	14-Mar-2013 08:24	2.9K
	task5_nonprogress_out.txt	14-Mar-2013 08:24	644
	task5_safety_out.txt	14-Mar-2013 08:23	854
	task5_ver_1_out.txt	14-Mar-2013 08:23	603
	task5_ver_2_out.txt	14-Mar-2013 08:23	604
	task5_ver_3_out.txt	14-Mar-2013 08:24	749
	task5_ver_4_out.txt	14-Mar-2013 08:24	715
	task5_ver_5_out.txt	14-Mar-2013 08:24	749