| Description |
1 online resource (x, 261 pages) |
| Series |
Lecture notes in computer science ; 6349 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 6349.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
| Contents |
Satisfiability Modulo Theories for Model Checking -- SMT-Based Software Model Checking -- Symbolic Object Code Analysis -- Model Checking in Context -- Experimental Comparison of Concolic and Random Testing for Java Card Applets -- Combining SPIN with ns-2 for Protocol Optimization -- Automatic Generation of Model Checking Scripts Based on Environment Modeling -- Implementation and Performance of Model Checking -- Model Checking: Cleared for Take Off -- Context-Enhanced Directed Model Checking -- Efficient Explicit-State Model Checking on General Purpose Graphics Processors -- The SpinJa Model Checker -- LTL and Büchi Automata -- On the Virtue of Patience: Minimizing Büchi Automata -- Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance -- Nevertrace Claims for Model Checking -- Infinite State Models -- A False History of True Concurrency: From Petri to Tools -- Analysing Mu-Calculus Properties of Pushdown Systems -- Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains -- An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models -- Concurrent Software -- Context-Bounded Translations for Concurrent Software: An Empirical Evaluation -- One Stack to Run Them All |
| Summary |
Annotation This book constitutes the refereed proceedings of the 17th InternationalSPIN workshop on Model Checking Software, SPIN 2010, held at theUniversity of Twente, in Enschede, The Netherlands, in September 2010. The 13 revised full papers presented together with 2 tool papers and 3invited talks were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on satisfiability modulotheories for model checking, model checking in context (simulation, testing, UML), implementation and performance of model checking, LTL and B chi automata, extensions to infinite-state systems, and concurrentsoftware |
| Bibliography |
Includes bibliographical references and author index |
| Notes |
English |
|
Print version record |
| In |
Springer eBooks |
| SUBJECT |
SPIN (Computer file) http://id.loc.gov/authorities/names/n97001425
|
|
SPIN (Computer file) fast |
| Subject |
Computer software -- Verification -- Congresses
|
|
Software engineering -- Congresses
|
|
Electronic Data Processing
|
|
data processing.
|
|
computer science.
|
|
Informatique.
|
|
Computer software -- Verification
|
|
Software engineering
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Pol, Jaco van de.
|
|
Weber, Michael (Michael F.)
|
| LC no. |
2010935165 |
| ISBN |
9783642161643 |
|
3642161642 |
|
1280389591 |
|
9781280389597 |
|
9786613567512 |
|
6613567515 |
|
