Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

Front Matter....Pages I-XVIII
Place Bisimulation and Liveness for Open Petri Nets....Pages 1-17
Divergence Detection for CCSL Specification via Clock Causality Chain....Pages 18-37
Performance Evaluation of Concurrent Data Structures....Pages 38-49
GPU-Accelerated Steady-State Computation of Large Probabilistic Boolean Networks....Pages 50-66
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems....Pages 67-84
A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques....Pages 85-100
Computing Specification-Sensitive Abstractions for Program Verification....Pages 101-117
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models....Pages 118-135
Identifying XML Schema Constraints Using Temporal Logic....Pages 136-146
Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET....Pages 147-162
Importance Sampling for Stochastic Timed Automata....Pages 163-178
Semipositivity in Separation Logic with Two Variables....Pages 179-196
Distributed Computation of Fixed Points on Dependency Graphs....Pages 197-212
A Complete Approximation Theory for Weighted Transition Systems....Pages 213-228
Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies....Pages 229-245
Exploiting Symmetry for Efficient Verification of Infinite-State Component-Based Systems....Pages 246-263
Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach....Pages 264-279
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties....Pages 280-296
Time-Bounded Statistical Analysis of Resource-Constrained Business Processes with Distributed Probabilistic Systems....Pages 297-314
Failure Estimation of Behavioral Specifications....Pages 315-322
Back Matter....Pages 323-323