Index of /trunk/examples/termination/svcomp15/termination-crafted-lit
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
ALL.prp 2015-10-08 03:44 35
![[TXT]](/icons/text.gif)
genady_true-termination.c 2015-10-08 03:44 228
GopanReps-CAV2006-Fig1a_true-termination.c.c 2015-10-08 03:44 294
LeikeHeizmann-WST2014-Ex9_true-termination.c 2015-10-08 03:44 317
HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.c 2015-10-08 03:44 321
LeikeHeizmann-TACAS2014-Fig1_true-termination.c 2015-10-08 03:44 329
PodelskiRybalchenko-TACAS2011-Fig1_true-termination.c 2015-10-08 03:44 331
HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.c 2015-10-08 03:44 334
Urban-WST2013-Fig1_false-termination.c 2015-10-08 03:44 335
HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination.c 2015-10-08 03:44 339
CookSeeZuleger-TACAS2013-Fig8a_true-termination.c 2015-10-08 03:44 342
HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_true-termination.c 2015-10-08 03:44 346
PodelskiRybalchenko-LICS2004-Fig1_true-termination.c 2015-10-08 03:44 347
PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.c 2015-10-08 03:44 353
Masse-VMCAI2014-Ex6_true-termination.c 2015-10-08 03:44 369
LeikeHeizmann-TACAS2014-Ex1_true-termination.c 2015-10-08 03:44 370
LeikeHeizmann-WST2014-Ex6_false-termination.c 2015-10-08 03:44 371
ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination.c 2015-10-08 03:44 372
Masse-VMCAI2014-Fig1b_true-termination.c 2015-10-08 03:44 375
HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c 2015-10-08 03:44 379
CookSeeZuleger-TACAS2013-Fig8b_true-termination.c 2015-10-08 03:44 385
ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination.c 2015-10-08 03:44 394
Masse-VMCAI2014-Fig1a_true-termination.c 2015-10-08 03:44 395
HarrisLalNoriRajamani-SAS2010-Fig3_true-termination.c 2015-10-08 03:44 396
AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c 2015-10-08 03:44 397
BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.c 2015-10-08 03:44 398
ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.c 2015-10-08 03:44 400
joey_false-termination.c 2015-10-08 03:44 403
Toulouse-BranchesToLoop_true-termination.c 2015-10-08 03:44 403
LeikeHeizmann-TACAS2014-Ex8_true-termination.c 2015-10-08 03:44 404
PodelskiRybalchenko-TACAS2011-Fig2_true-termination.c 2015-10-08 03:44 410
Urban-WST2013-Fig2_true-termination.c 2015-10-08 03:44 415
LeikeHeizmann-TACAS2014-Ex9_true-termination.c 2015-10-08 03:44 416
Urban-WST2013-Fig2-modified1000_true-termination.c 2015-10-08 03:44 417
KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c 2015-10-08 03:44 420
LeikeHeizmann-WST2014-Ex5_false-termination.c 2015-10-08 03:44 421
HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c 2015-10-08 03:44 423
ColonSipma-TACAS2001-Fig1_true-termination.c 2015-10-08 03:44 430
HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c 2015-10-08 03:44 431
AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination.c 2015-10-08 03:44 433
GulavaniGulwani-CAV2008-Fig1c_true-termination.c 2015-10-08 03:44 436
AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c 2015-10-08 03:44 439
Velroyen_false-termination.c 2015-10-08 03:44 442
ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination.c 2015-10-08 03:44 448
HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_true-termination.c 2015-10-08 03:44 449
CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.c 2015-10-08 03:44 451
AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination.c 2015-10-08 03:44 455
aviad_true-termination.c 2015-10-08 03:44 455
KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination.c 2015-10-08 03:44 457
AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c 2015-10-08 03:44 463
PodelskiRybalchenko-LICS2004-Fig2_true-termination.c 2015-10-08 03:44 468
PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c 2015-10-08 03:44 468
min_rf_true-termination.c 2015-10-08 03:44 477
ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_true-termination.c 2015-10-08 03:44 480
AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c 2015-10-08 03:44 481
NoriSharma-FSE2013-Fig7_true-termination.c 2015-10-08 03:44 481
BradleyMannaSipma-CAV2005-Fig1_true-termination.c 2015-10-08 03:44 488
BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.c 2015-10-08 03:44 490
CookSeeZuleger-TACAS2013-Fig1_true-termination.c 2015-10-08 03:44 491
AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c 2015-10-08 03:44 501
Avery-FLOPS2006-Table1_true-termination.c 2015-10-08 03:44 502
LeeJonesBen-Amram-POPL2001-Ex1_true-termination.c 2015-10-08 03:44 502
ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c 2015-10-08 03:44 506
AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c 2015-10-08 03:44 508
ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c 2015-10-08 03:44 509
AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c 2015-10-08 03:44 511
AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c 2015-10-08 03:44 512
AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c 2015-10-08 03:44 513
GulavaniGulwani-CAV2008-Fig1a_true-termination.c 2015-10-08 03:44 515
NoriSharma-FSE2013-Fig8_true-termination.c 2015-10-08 03:44 515
GulavaniGulwani-CAV2008-Fig1b_true-termination.c 2015-10-08 03:44 516
AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c 2015-10-08 03:44 517
LeeJonesBen-Amram-POPL2001-Ex3_true-termination.c 2015-10-08 03:44 521
AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.c 2015-10-08 03:44 523
ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.c 2015-10-08 03:44 525
BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.c 2015-10-08 03:44 526
PodelskiRybalchenko-TACAS2011-Fig3_true-termination.c 2015-10-08 03:44 529
AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c 2015-10-08 03:44 532
AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c 2015-10-08 03:44 542
AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.c 2015-10-08 03:44 544
AliasDarteFeautrierGonnord-SAS2010-aaron2_true-termination.c 2015-10-08 03:44 546
LeeJonesBen-Amram-POPL2001-Ex5_true-termination.c 2015-10-08 03:44 547
ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_true-termination.c 2015-10-08 03:44 551
AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c 2015-10-08 03:44 554
gcd1_true-termination.c 2015-10-08 03:44 558
AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c 2015-10-08 03:44 559
Ben-Amram-LMCS2010-Ex2.3_true-termination.c 2015-10-08 03:44 560
LeeJonesBen-Amram-POPL2001-Ex4_true-termination.c 2015-10-08 03:44 560
ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.c 2015-10-08 03:44 562
AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.c 2015-10-08 03:44 580
CookSeeZuleger-TACAS2013-Fig7b_true-termination.c 2015-10-08 03:44 583
AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.c 2015-10-08 03:44 587
BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c 2015-10-08 03:44 589
AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.c 2015-10-08 03:44 591
LeeJonesBen-Amram-POPL2001-Ex2_true-termination.c 2015-10-08 03:44 594
AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c 2015-10-08 03:44 596
ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.c 2015-10-08 03:44 599
UrbanMine-ESOP2014-Fig3_true-termination.c 2015-10-08 03:44 599
ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-termination.c 2015-10-08 03:44 603
ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c 2015-10-08 03:44 605
ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c 2015-10-08 03:44 608
ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c 2015-10-08 03:44 610
CookSeeZuleger-TACAS2013-Fig7a_true-termination.c 2015-10-08 03:44 612
ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c 2015-10-08 03:44 613
ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c 2015-10-08 03:44 614
ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c 2015-10-08 03:44 615
ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c 2015-10-08 03:44 615
ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.c 2015-10-08 03:44 616
AliasDarteFeautrierGonnord-SAS2010-aaron3_true-termination.c 2015-10-08 03:44 617
ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.c 2015-10-08 03:44 618
ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.c 2015-10-08 03:44 618
ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-termination.c 2015-10-08 03:44 620
ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-termination.c 2015-10-08 03:44 621
ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-termination.c 2015-10-08 03:44 621
ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.c 2015-10-08 03:44 629
GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c 2015-10-08 03:44 629
LeeJonesBen-Amram-POPL2001-Ex6_true-termination.c 2015-10-08 03:44 633
ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c 2015-10-08 03:44 641
cstrlen_true-termination.c 2015-10-08 03:44 645
AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c 2015-10-08 03:44 651
ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c 2015-10-08 03:44 651
ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c 2015-10-08 03:44 651
ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.c 2015-10-08 03:44 652
ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c 2015-10-08 03:44 653
ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c 2015-10-08 03:44 658
ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.c 2015-10-08 03:44 662
ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c 2015-10-08 03:44 662
ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.c 2015-10-08 03:44 663
ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c 2015-10-08 03:44 664
LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c 2015-10-08 03:44 664
ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-termination.c 2015-10-08 03:44 665
ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c 2015-10-08 03:44 667
ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.c 2015-10-08 03:44 668
ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.c 2015-10-08 03:44 668
ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-termination.c 2015-10-08 03:44 669
LeikeHeizmann-TACAS2014-Ex7_true-termination.c 2015-10-08 03:44 671
PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c 2015-10-08 03:44 679
HarrisLalNoriRajamani-SAS2010-Fig1_true-termination.c 2015-10-08 03:44 680
ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.c 2015-10-08 03:44 683
ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c 2015-10-08 03:44 688
ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c 2015-10-08 03:44 691
BradleyMannaSipma-ICALP2005-Fig1_true-termination.c 2015-10-08 03:44 695
ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c 2015-10-08 03:44 703
AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c 2015-10-08 03:44 705
ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c 2015-10-08 03:44 712
ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-termination.c 2015-10-08 03:44 718
ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c 2015-10-08 03:44 754
HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination.c 2015-10-08 03:44 789
ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.c 2015-10-08 03:44 802
strchr_true-termination.c 2015-10-08 03:44 825
ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c 2015-10-08 03:44 865
TelAviv-Amir-Minimum_true-termination.c 2015-10-08 03:44 872
cstrcspn_true-termination.c 2015-10-08 03:44 885
cstrspn_true-termination.c 2015-10-08 03:44 890
cstrpbrk_true-termination.c 2015-10-08 03:44 893
Toulouse-MultiBranchesToLoop_true-termination.c 2015-10-08 03:44 899
cstrcmp_true-termination.c 2015-10-08 03:44 1.0K
cstrncmp_true-termination.c 2015-10-08 03:44 1.1K
HarrisLalNoriRajamani-SAS2010-Fig2_false-termination.c 2015-10-08 03:44 1.2K
LICENSE.txt 2015-10-08 03:44 1.3K