Description |
1 online resource (xvi, 493 pages) : illustrations |
Series |
Lecture Notes in Computer Science, 0302-9743 ; 8318 |
|
Advanced research in computing and software science |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 8318. 0302-9743
|
|
Lecture notes in computer science. Advanced research in computing and software science.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
Contents |
SAT-Based Synthesis Methods for Safety Specs / Roderick Bloem, Robert Könighofer and Martina Seidl -- Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs / Martin D. Schwarz, Helmut Seidl, Vesal Vojdani and Kalmer Apinis -- Relational Thread-Modular Static Value Analysis by Abstract Interpretation / Antoine Miné -- Timing Analysis of Parallel Software Using Abstract Execution / Andreas Gustavsson, Jan Gustafsson and Björn Lisper -- Doomsday Equilibria for Omega-Regular Games / Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot and Jean-François Raskin -- Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes / Lei Song, Lijun Zhang and Jens Chr. Godskesen -- Probabilistic Automata for Safety LTL Specifications / Dileep Kini and Mahesh Viswanathan -- Refuting Heap Reachability / Bor-Yuh Evan Chang -- Cascade 2.0 / Wei Wang, Clark Barrett and Thomas Wies -- A Logic-Based Framework for Verifying Consensus Algorithms / Cezara Drăgoi, Thomas A. Henzinger, Helmut Veith, Josef Widder and Damien Zufferey -- Verifying Array Programs by Transforming Verification Conditions / Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti -- Weakest Precondition Synthesis for Compiler Optimizations / Nuno P. Lopes and José Monteiro -- Message-Passing Algorithms for the Verification of Distributed Protocols / Loïg Jezequel and Javier Esparza -- Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops / Marius Bozga, Radu Iosif and Filip Konečný -- Parameterized Model Checking of Token-Passing Systems / Benjamin Aminof, Swen Jacobs, Ayrat Khalimov and Sasha Rubin -- Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java / Zhoulai Fu -- Generic Combination of Heap and Value Analyses in Abstract Interpretation / Pietro Ferrara -- Modeling Parsimonious Putative Regulatory Networks: Complexity and Heuristic Approach / Vicente Acuña, Andrés Aravena, Alejandro Maass and Anne Siegel -- Practical Floating-Point Tests with Integer Code / Anthony Romano -- Monitoring Parametric Temporal Logic / Peter Faymonville, Bernd Finkbeiner and Doron Peled -- Precisely Deciding Control State Reachability in Concurrent Traces with Limited Observability / Chao Wang and Kevin Hoang -- Modular Synthesis of Sketches Using Models / Rohit Singh, Rishabh Singh, Zhilei Xu, Rebecca Krosnick and Armando Solar-Lezama -- Synthesis with Identifiers / Rüdiger Ehlers, Sanjit A. Seshia and Hadas Kress-Gazit -- Synthesis for Polynomial Lasso Programs / Jan Leike and Ashish Tiwari -- Policy Iteration-Based Conditional Termination and Ranking Functions / Damien Massé -- Widening for Control-Flow / Ben Hardekopf, Ben Wiedermann, Berkeley Churchill and Vineeth Kashyap |
Summary |
This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems |
Notes |
International conference proceedings |
|
Includes author index |
|
Online resource; title from PDF title page (SpringerLink, viewed January 6, 2014) |
Subject |
Computer software -- Verification -- Congresses
|
|
Software engineering -- Congresses
|
|
Computer software -- Verification
|
|
Software engineering
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
McMillan, Kenneth L., editor
|
|
Rival, Xavier, editor
|
ISBN |
9783642540134 |
|
3642540139 |
|