Automated technology for verification and analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, proceedings

Franck Cassez; Jean-François Raskin

doi:10.1007/978-3-319-11936-6

Automated technology for verification and analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, proceedings

Franck Cassez^* (Editor), Jean-François Raskin (Editor)

^*Corresponding author for this work

Research output: Book/Report › Edited Book/Anthology › peer-review

1 Citation (Scopus)

Abstract

This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014.
The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.

Original language	English
Place of Publication	Cham
Publisher	Springer, Springer Nature
Number of pages	430
ISBN (Electronic)	9783319119366
ISBN (Print)	9783319119359
DOIs	https://doi.org/10.1007/978-3-319-11936-6
Publication status	Published - 2014
Externally published	Yes

Publication series

Name	Lecture notes in computer science
Publisher	Springer
Volume	8837
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-319-11936-6

Cite this

@book{a9d58200cd6445a5adcb22c8fd56a115,

title = "Automated technology for verification and analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, proceedings",

abstract = "This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014.The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.",

editor = "Franck Cassez and Jean-Fran{\c c}ois Raskin",

year = "2014",

doi = "10.1007/978-3-319-11936-6",

language = "English",

isbn = "9783319119359",

series = "Lecture notes in computer science",

publisher = "Springer, Springer Nature",

address = "United States",

}

Automated technology for verification and analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, proceedings. / Cassez, Franck (Editor); Raskin, Jean-François (Editor).
Cham: Springer, Springer Nature, 2014. 430 p. (Lecture notes in computer science; Vol. 8837).

Research output: Book/Report › Edited Book/Anthology › peer-review

TY - BOOK

T1 - Automated technology for verification and analysis

T2 - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, proceedings

A2 - Cassez, Franck

A2 - Raskin, Jean-François

PY - 2014

Y1 - 2014

N2 - This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014.The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.

AB - This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014.The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.

UR - http://www.scopus.com/inward/record.url?scp=84908691717&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-11936-6

DO - 10.1007/978-3-319-11936-6

M3 - Edited Book/Anthology

AN - SCOPUS:84908691717

SN - 9783319119359

T3 - Lecture notes in computer science

BT - Automated technology for verification and analysis

PB - Springer, Springer Nature

CY - Cham

ER -

Automated technology for verification and analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, proceedings

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this