Model Checking Software
% SALE
Model Checking Software
% SALE
% SALE
Beschreibung
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).
Produktdetails
- Typ:
- Buch
- Einband:
- Taschenbuch
- Edition:
- 1
- Sprachen:
-
Original:
Englisch
- Seitenzahl:
-
304
- Herausgeber:
-
Springer
- Veröffentlichungsdatum:
-
2005-08-09
- Erscheinungsdatum:
-
2008-06-13
- ISBN / EAN:
-
9783540281955
- Gewicht:
-
464 g
- Maße:
-
16/24/2 cm
- GPSR-Herstellerreferenz:
-
[email protected]
Die gelieferte Auflage kann ggf. abweichen.
Gerade ausverkauft
Wieder da E-Mail
Auf den Merkzettel
