E-Books durchsuchen

Model Checking Software [2005]

1
Pushdown Model Checking for Security
2
Execution Generated Test Cases: How to Make Systems Code Crash Itself
24
Effective Bug Hunting with Spin and Modex
25
The BLAST Software Verification System
27
Model Checking Programs with Java PathFinder
28
An Incremental Heap Canonicalization Algorithm
43
Memory Efficient State Space Storage in Explicit Software Model Checking
58
Counterexample-Based Refinement for a Boundedness Test for CFSM Languages
75
Symbolic Model Checking for Asynchronous Boolean Programs
91
Improving Spin’s Partial-Order Reduction for Breadth-First Search
106
Sound Transaction-Based Reduction Without Cycle Detection
123
Repairing Structurally Complex Data
139
Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices
154
Behavioural Models for Hierarchical Components
169
On-the-Fly Emptiness Checks for Generalized Büchi Automata
185
Stuttering Congruence for <Emphasis Type="Italic">χ</Emphasis>
200
Verifying Pattern-Generated LTL Formulas: A Case Study
221
Generic Verification of Security Protocols
236
Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models
251
Model Checking Machine Code with the GNU Debugger
266
E<Emphasis Type="SmallCaps">tch</Emphasis>: An Enhanced Type Checking Tool for Promela
272
Enhanced Probabilistic Verification with 3Spin and 3Murphi
277
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions
282
Learning-Based Assume-Guarantee Verification (Tool Paper)
Feedback