Press "Enter" to skip to content

Model Checking Software: 19th International Workshop, SPIN by Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. PDF

By Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)

ISBN-10: 3642317588

ISBN-13: 9783642317583

ISBN-10: 3642317596

ISBN-13: 9783642317590

This e-book constitutes the completely refereed court cases of the nineteenth foreign SPIN workshop on version Checking software program, SPIN 2012, held in Oxford, united kingdom, in July 2012. The eleven revised complete papers offered including five software papers and four invited talks have been rigorously reviewed and chosen from 30 submissions. The papers are grouped in topical sections on version checking innovations; parallel version checking; case stories; version checking for concurrency; and gear demonstrations.

Show description

Read or Download Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings PDF

Similar international books

Read e-book online The International Comparative Legal Guide to Enforcement of PDF

This consultant offers the overseas practitioner and in-house assistance with a entire around the globe criminal research of the legislation and laws of enforcement legislations. it's divided into major sections: One normal bankruptcy. This bankruptcy reports the advancements of non-public damages activities in 5 Member States.

Download PDF by Muhammad Mukarram Bin Tariq, Ravi Jain, Toshiro Kawahara: Web Content Caching and Distribution: Proceedings of the 8th

Net caching and content material supply applied sciences give you the infrastructure on which structures are outfitted for the scalable distribution of data. This court cases of the 8th annual workshop, captures a cross-section of the newest matters and methods of curiosity to community architects and researchers in large-scale content material supply.

Logic-Based Program Synthesis and Transformation: 21st - download pdf or read online

This e-book constitutes the completely refereed court cases of the twenty first overseas Symposium on Logic-Based application Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised complete papers awarded including eight extra papers have been rigorously reviewed and chosen from 28 submissions.

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing: - download pdf or read online

This booklet constitutes the completely refereed convention complaints of the 14th foreign convention on tough units, Fuzzy units, information Mining and Granular Computing, RSFDGrC 2013, held in Halifax, Canada in October 2013 as one of many co-located convention of the 2013 Joint tough Set Symposium, JRS 2013.

Extra resources for Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Example text

As an example, after the first iteration on the Brp model the total number of counterexamples was reduced from 660 to 182 due to the removal of the root cause of some deadlock. The results achieved by applying the method to the modified version of the Brp model in the second iteration are given in the second row of Table 2. 6 Comparison with the Work by Groce and Visser The most closely related work to ours is that of Groce and Visser [11]. It extends Java PathFinder with error explanation facilities.

We then present the experimental results in Section 5, followed by a detailed comparison of our method with the work by Groce and Visser [11] in Section 6. Finally Section 7 concludes with a note on future work. 2 A Motivating Example In this section, using an example case study we illustrate how a deadlock can occur due to the specific order of execution of a set of actions in the model of a concurrent system. The model we use in this example is taken from the BEnchmarks for Explicit Model checkers (BEEM) [20].

In: ACM Computing Surveys, CSUR (1972) 14. : The SPIN Model Checker: Primer and Reference Manual. Addision-Wesley (2003) 15. : A Tool for Checking ANSI-C Programs. , Podelski, A. ) TACAS 2004. LNCS, vol. 2988, pp. 168–176. Springer, Heidelberg (2004) 16. : Counterfactuals. Wiley-Blackwell (2001) 17. : Efficient mining of iterative patterns for software specification discovery. In: Proceedings of the 13th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (2007) 42 S. Leue and M.

Download PDF sample

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings by Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)


by John
4.5

Rated 4.82 of 5 – based on 47 votes