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)