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 proceedingBook

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 languageEnglish (US)
PublisherSpringer
Number of pages789
ISBN (Electronic)9783642314247
DOIs
StatePublished - 2012
EventInternational Conference on Computer Aided Verification - Berkeley, United States
Duration: Jul 7 2012Jul 13 2012
Conference number: 24

Publication series

NameLecture Notes in Computer Science
No.7358

Keywords

  • algorithms
  • static analysis
  • multithreaded programs
  • model checking
  • formal methods

Fingerprint

Dive into the research topics of 'Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings'. Together they form a unique fingerprint.

Cite this