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
Feedback