LEADER 05339nam 22007335 450 001 996465331703316 005 20200702002913.0 010 $a3-319-47677-7 024 7 $a10.1007/978-3-319-47677-3 035 $a(CKB)3710000000909171 035 $a(DE-He213)978-3-319-47677-3 035 $a(MiAaPQ)EBC6283481 035 $a(MiAaPQ)EBC5577885 035 $a(Au-PeEL)EBL5577885 035 $a(OCoLC)1066188077 035 $a(PPN)196323398 035 $a(EXLCZ)993710000000909171 100 $a20161005d2016 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDependable Software Engineering: Theories, Tools, and Applications$b[electronic resource] $eSecond International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings /$fedited by Martin Fränzle, Deepak Kapur, Naijun Zhan 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XVIII, 323 p. 78 illus.) 225 1 $aProgramming and Software Engineering ;$v9984 300 $aIncludes index. 311 $a3-319-47676-9 327 $aDependable Cyber-Physical Systems -- From Finitely Many Simulations to Flowpipes -- Toward Automatic Verification of Quantum Programs -- Place Bisimulation and Liveness for Open Petri Nets -- Divergence Detection for CCSL Specification via Clock Causality Chain -- Performance Evaluation on Modern Concurrent Data Structures -- GPU-accelerated Steady-state Computation of Large Probabilistic Boolean Networks -- Behavioural Pseudometrics for Nondeterministic Probabilistic Systems -- A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques -- Computing Specification-Sensitive Abstractions for Program Verification -- Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models -- Identifying XML Schema Constraints Using Temporal Logic -- Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET -- Importance Sampling for Stochastic Timed Automata -- Semipositivity in Separation Logic with Two Variables -- Distributed Computation of Fixed Points on Dependency Graphs -- A Complete Approximation Theory for Weighted Transition Systems -- Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies -- Exploiting Symmetry for Efficient Verification of Infinite-state Component-based Systems -- Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach -- An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties -- Time-bounded Statistical Analysis of Resource-constrained Business Processes with Distributed Probabilistic Systems -- Failure Estimation of Behavioral Specifications. . 330 $aThis book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016. The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services. . 410 0$aProgramming and Software Engineering ;$v9984 606 $aSoftware engineering 606 $aComputer logic 606 $aMathematical logic 606 $aComputer simulation 606 $aMathematical statistics 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aProbability and Statistics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17036 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aMathematical logic. 615 0$aComputer simulation. 615 0$aMathematical statistics. 615 14$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 615 24$aSimulation and Modeling. 615 24$aProbability and Statistics in Computer Science. 676 $a005.1 702 $aFränzle$b Martin$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKapur$b Deepak$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aZhan$b Naijun$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465331703316 996 $aDependable Software Engineering. Theories, Tools, and Applications$92010758 997 $aUNISA