Computer aided verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part I / Daniel Kroening, Corina S. Păsăreanu (eds.).
CAV (Conference) (27th : 2015 : San Francisco, Calif.); Kroening, Daniel, editor.; Păsăreanu, Corina S., editor.
2015
QA76.76.V47 C38 2015eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Computer aided verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part I / Daniel Kroening, Corina S. Păsăreanu (eds.).
Meeting Name CAV (Conference) (27th : 2015 : San Francisco, Calif.)
ISBN 9783319216904 electronic book
3319216902 electronic book
9783319216898
DOI https://doi.org/10.1007/978-3-319-21690-4
Published Cham : Springer, 2015.
Language English
Description 1 online resource (xxiii, 677 pages) : illustrations.
Item Number 10.1007/978-3-319-21690-4 doi
Call Number QA76.76.V47 C38 2015eb
Dewey Decimal Classification 004.24
Summary The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.
Note International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed July 23, 2015).
Added Author Kroening, Daniel, editor.
Păsăreanu, Corina S., editor.
Series Lecture notes in computer science ; 9206.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
A Trusted Mechanised Specification of JavaScript: One Year On
Model Checking and Refinements
On Automation of CTL* Verification for Infinite-State Systems
Algorithms for Model Checking HyperLTL and HyperCTL
Fairness Modulo Theory: A New Approach to LTL Software Model Checking
Model Checking Parameterized Asynchronous Shared-Memory Systems
SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms
Skipping Refinement
Quantitative Reasoning
Percentile Queries in Multi-dimensional Markov Decision Processes
Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs
Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
Symbolic Polytopes for Quantitative Interpolation and Verification
Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool
Software Analysis
Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints
Automata-Based Model Counting for String Constraints
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case
Tree Buffers
Learning Commutativity
Specifications
Angelic Verification: Precise Verification Modulo Unknowns
The SeaHorn Verification Framework
Automatic Rootcausing for Program Equivalence Failures in Binaries
Fine-Grained Caching of Verification Results
Predicting a Correct Program in Programming by Example
Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation
Lightning Talks
ADAM: Causality-Based Synthesis of Distributed Systems
Alchemist: Learning Guarded Affine Functions
OptiMathSAT: A Tool for Optimization Modulo Theories
Systematic Asynchrony Bug Exploration for Android Apps
Norn: An SMT Solver for String Constraints
PVSio-web 2.0: Joining PVS to HCI
The Hanoi Omega-Automata Format
The Open-Source LearnLib: A Framework for Active Automata Learning
BBS: A Phase-Bounded Model Checker for Asynchronous Programs
Time-Aware Abstractions in HybridSal
A Type-Directed Approach to Program Repair
Formal Design and Safety Analysis of AIR6110 Wheel Brake System
Meeting a Powertrain Verification Challenge
Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data
Empirical Software Metrics for Benchmarking of Verification Tools
Interpolation, IC3/PDR, and Invariants Property-Directed Inference of Universal Invariants or Proving Their Absence
Efficient Anytime Techniques for Model-Based Safety Analysis
Boosting k-induction with Continuously-Refined Invariants
Fast Interpolating BMC
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation.

Browse Subjects

Show more subjects...

Statistics

from
to
Export