Computer aided verification. 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings /: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part II : (2015)

• Record Type: Book
• Other Titles: CAV 2015
• Further Information: Note: Daniel Kroening, Corina S. Păsăreanu (eds.).
• Editors: Kroening, Daniel; Păsăreanu, Corina S
• Other Names: CAV (Conference), 27th
• Contents: SMT Techniques and Applications -- POLING: SMT Aided Linearizability Proofs -- Finding Bounded Path in Graph Using SMT for Automatic Clock Routing -- Cutting the Mix -- The Inez Mathematical Programming Modulo Theories Framework -- Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets -- Deciding Local Theory Extensions via E-matching -- HW Verification -- Modular Deductive Verification of Multiprocessor Hardware Designs -- Word-Level Symbolic Trajectory Evaluation -- Verifying Linearizability of Intel® Software Guard Extensions -- Synthesis Synthesis Through Unification -- From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis -- Counterexample-Guided Quantifier Instantiation for Synthesis in SMT -- Deductive Program Repair -- Quantifying Conformance Using the Skorokhod Metric -- Pareto Curves of Multidimensional Mean-Payoff Games -- Termination -- Conflict-Driven Conditional Termination -- Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring with Timed Patterns -- Automatic Verification of Stability and Safety for Delay Differential Equations -- Time Robustness in MTL and Expressivity in Hybrid System Falsification -- Concurrency -- Adaptive Concretization for Parallel Program Synthesis -- Automatic Completion of Distributed Protocols with Symmetry -- An Axiomatic Specification for Sequential Memory Models -- Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems -- Automated and Modular Refinement Reasoning for Concurrent Programs.
• Publisher Details: Cham : Springer
• Publication Date: 2015
• Extent: 1 online resource (xviii, 469 pages), illustrations
• Subjects: 004.24; Computer science; Computer software -- Verification -- Congresses; Computer software -- Verification; Computer Science; Engineering & Applied Sciences; Computers -- Software Development & Engineering -- General; Mathematics -- Logic; Computers -- Hardware -- General; Software Engineering; Mathematical theory of computation; Computer networking & communications; Logic design; Software engineering; Computer network architectures; Computers -- Programming -- General; Computer programming / software development; Electronic books; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783319216683; 3319216686; 3319216678; 9783319216676
• Related ISBNs: 9783319216676
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed July 23, 2015).
• 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.