E-Books durchsuchen
Model Checking Software [2010]
- 1
-
SMT-Based Software Model Checking
- 4
-
Symbolic Object Code Analysis
- 22
-
Experimental Comparison of Concolic and Random Testing for Java Card Applets
- 40
-
Combining SPIN with ns-2 for Protocol Optimization
- 58
-
Automatic Generation of Model Checking Scripts Based on Environment Modeling
- 76
-
Model Checking: Cleared for Take Off
- 88
-
Context-Enhanced Directed Model Checking
- 106
-
Efficient Explicit-State Model Checking on General Purpose Graphics Processors
- 124
-
The <Emphasis Type="SmallCaps">SpinJa</Emphasis> Model Checker
- 129
-
On the Virtue of Patience: Minimizing Büchi Automata
- 146
-
Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance
- 162
-
Nevertrace Claims for Model Checking
- 180
-
A False History of True Concurrency: From Petri to Tools
- 187
-
Analysing Mu-Calculus Properties of Pushdown Systems
- 193
-
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains
- 212
-
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models
- 227
-
Context-Bounded Translations for Concurrent Software: An Empirical Evaluation
- 245
-
One Stack to Run Them All