Buch, Englisch, Band 3639, 292 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 464 g
12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
Buch, Englisch, Band 3639, 292 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 464 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-28195-5
Verlag: Springer Berlin Heidelberg
oftheworkshop series was algorithms and tool development around the SPIN model-checker, its scope was widened several years ago to include other software model-checking techniques, tools and applications.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Prozedurale Programmierung
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
Weitere Infos & Material
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).
