Custom cover image
Custom cover image

Model Checking Software (vol. # 3639) : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings / edited by Patrick Godefroid

Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 3639Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Description: Online-Ressource (XI, 289 p. Also available online, digital)ISBN:
  • 9783540318996
Subject(s): Genre/Form: Additional physical formats: 9783540281955 | Buchausg. u.d.T.: Model checking software. Berlin : Springer, 2005. XI, 287 S.MSC: MSC: *68-06 | 68N30 | 00B25RVK: RVK: SS 4800LOC classification:
  • QA76.758
DOI: DOI: 10.1007/11537328Online resources: Summary: Invited Talks/Papers -- Pushdown Model Checking for Security -- Execution Generated Test Cases: How to Make Systems Code Crash Itself -- Invited Tutorials -- Effective Bug Hunting with Spin and Modex -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State Representation and Abstraction -- An Incremental Heap Canonicalization Algorithm -- Memory Efficient State Space Storage in Explicit Software Model Checking -- Counterexample-Based Refinement for a Boundedness Test for CFSM Languages -- Dealing with Concurrency -- Symbolic Model Checking for Asynchronous Boolean Programs -- Improving Spin’s Partial-Order Reduction for Breadth-First Search -- Sound Transaction-Based Reduction Without Cycle Detection -- Dealing with Complex Data -- Repairing Structurally Complex Data -- Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices -- Behavioural Models for Hierarchical Components -- Checking Temporal Properties -- On-the-Fly Emptiness Checks for Generalized Büchi Automata -- Stuttering Congruence for ? -- Verifying Pattern-Generated LTL Formulas: A Case Study -- Checking Security and Real-Time Properties -- Generic Verification of Security Protocols -- Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models -- Model Checking Machine Code with the GNU Debugger -- Tool Papers -- Etch: An Enhanced Type Checking Tool for Promela -- Enhanced Probabilistic Verification with 3Spin and 3Murphi -- SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions -- Learning-Based Assume-Guarantee Verification (Tool Paper).PPN: PPN: 164764447XPackage identifier: Produktsigel: ZDB-2-SCS | ZDB-2-LNC | ZDB-2-SEB | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT