Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

P. Madhusudan; Sanjit A. Seshia

doi:10.1007/978-3-642-31424-7

Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

P. Madhusudan (Editor)
, Sanjit A. Seshia (Editor)

Research output: Book/Report/Conference proceeding › Book

Abstract

This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.

Original language	English (US)
Publisher	Springer
Number of pages	789
ISBN (Electronic)	9783642314247
ISBN (Print)	9783642314230
DOIs	https://doi.org/10.1007/978-3-642-31424-7
State	Published - 2012
Event	International Conference on Computer Aided Verification - Berkeley, United States Duration: Jul 7 2012 → Jul 13 2012 Conference number: 24

Publication series

Name	Lecture Notes in Computer Science
No.	7358

Keywords

algorithms
static analysis
multithreaded programs
model checking
formal methods

Online availability

10.1007/978-3-642-31424-7

Library availability

Discover UIUC Full Text

Cite this

@book{a09f712b96f048bb900cf0b736954733,

title = "Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings",

abstract = "This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.",

keywords = "algorithms, static analysis, multithreaded programs, model checking, formal methods",

editor = "P. Madhusudan and Seshia, \{Sanjit A.\}",

year = "2012",

doi = "10.1007/978-3-642-31424-7",

language = "English (US)",

isbn = "9783642314230",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "7358",

address = "Germany",

note = "International Conference on Computer Aided Verification, CAV 2012 ; Conference date: 07-07-2012 Through 13-07-2012",

}

TY - BOOK

T1 - Computer Aided Verification

T2 - International Conference on Computer Aided Verification

A2 - Madhusudan, P.

A2 - Seshia, Sanjit A.

N1 - Conference code: 24

PY - 2012

Y1 - 2012

N2 - This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.

AB - This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.

KW - algorithms

KW - static analysis

KW - multithreaded programs

KW - model checking

KW - formal methods

UR - http://www.worldcat.org/oclc/812962222

U2 - 10.1007/978-3-642-31424-7

DO - 10.1007/978-3-642-31424-7

M3 - Book

SN - 9783642314230

T3 - Lecture Notes in Computer Science

BT - Computer Aided Verification

PB - Springer

Y2 - 7 July 2012 through 13 July 2012

ER -

Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Abstract

Publication series

Keywords

Online availability

Library availability

Related links

Fingerprint

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Cite this