000 04407nam a22005775i 4500
001 978-3-319-47677-3
003 DE-He213
005 20200421111156.0
007 cr nn 008mamaa
008 161005s2016 gw | s |||| 0|eng d
020 _a9783319476773
_9978-3-319-47677-3
024 7 _a10.1007/978-3-319-47677-3
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
245 1 0 _aDependable Software Engineering: Theories, Tools, and Applications
_h[electronic resource] :
_bSecond International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings /
_cedited by Martin Fr�anzle, Deepak Kapur, Naijun Zhan.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2016.
300 _aXVIII, 323 p. 78 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v9984
505 0 _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. .
520 _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. .
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aComputer logic.
650 0 _aMathematical logic.
650 0 _aMathematical statistics.
650 0 _aComputer simulation.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aSimulation and Modeling.
650 2 4 _aProbability and Statistics in Computer Science.
700 1 _aFr�anzle, Martin.
_eeditor.
700 1 _aKapur, Deepak.
_eeditor.
700 1 _aZhan, Naijun.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783319476766
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v9984
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-319-47677-3
912 _aZDB-2-SCS
912 _aZDB-2-LNC
942 _cEBK
999 _c53527
_d53527