Dependable software engineering : theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings /: theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. (2016)

• Record Type: Book
• Other Titles: SETTA 2016
• Further Information: Note: Martin Fränzle, Deepak Kapur, Naijun Zhan (eds.).
• Editors: Fränzle, Martin; Kapur, Deepak; Zhan, Naijun
• Other Names: SETTA (Symposium), 2nd
• Contents: Dependable 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource (xviii, 323 pages), illustrations
• Subjects: 005.1; Computer science; Software engineering -- Congresses; Software engineering; Computers -- Programming -- General; Mathematics -- Logic; Computers -- Computer Simulation; Computers -- Mathematical & Statistical Software; Computer programming / software development; Mathematical theory of computation; 3D graphics & modelling; Maths for computer scientists; Software engineering; Logic design; Computer simulation; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319476773; 3319476777; 3319476769; 9783319476766
• Related ISBNs: 9783319476766
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed October 28, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.