Willkommen, schön sind Sie da!
Logo Ex Libris

Model Checking Software

  • E-Book (pdf)
  • 292 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Inhalt Invited Talks/Papers.- Pushdown Model Checking for Security.- Execution Generated Test Cases: How to Make Systems Code Cras... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 93.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

Inhalt

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).

Produktinformationen

Titel: Model Checking Software
Untertitel: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
Editor:
EAN: 9783540318996
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Anzahl Seiten: 292
Veröffentlichung: 25.08.2005
Dateigrösse: 5.8 MB

Weitere Bände aus der Buchreihe "Theoretical Computer Science and General Issues"