Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14)

Marieke  Huisman; Jaco  van de Pol

doi:10.1016/j.scico.2016.04.013

Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14)

Marieke Huisman (Editor), Jaco van de Pol (Editor)

Research output: Contribution to journal › Article › Academic

150 Downloads (Pure)

Abstract

AVoCS 2014, the 14th International Conference on Automated Verification of Critical Systems has been hosted by the University of Twente, and has taken place in Enschede, Netherlands, on 24–26 September, 2014. The aim of the AVoCS series is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. The subject is to be interpreted broadly and inclusively. It covers all aspects of automated verification, including model checking, theorem proving, abstract interpretation, and refinement pertaining to various types of critical systems (safety-critical, security-critical, business-critical, performance-critical, etc.).

Original language	English
Pages (from-to)	1-1
Number of pages	1
Journal	Science of computer programming
Volume	128
DOIs	https://doi.org/10.1016/j.scico.2016.04.013
Publication status	Published - Oct 2016
Event	14th International Workshop on Automated Verification of Critical Systems, AVoCS 2014 - University of Twente, Enschede, Netherlands Duration: 24 Sept 2014 → 26 Sept 2014 Conference number: 14

Keywords

CR-D.2.4
FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS
industrial systems
critical systems
EC Grant Agreement nr.: FP7/258405
METIS-318452
EC Grant Agreement nr.: FP7/287767
EWI-27002
IR-100718
Automated verification
Formal Methods
EC Grant Agreement nr.: FP7/2007-2013
2023 OA procedure

Access to Document

10.1016/j.scico.2016.04.013

1-s2.0-S0167642316300223-mainFinal published version, 114 KBLicence: Taverne

Cite this

@article{b9a8207693494c7785a53f477f9ed617,

title = "Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14)",

abstract = "AVoCS 2014, the 14th International Conference on Automated Verification of Critical Systems has been hosted by the University of Twente, and has taken place in Enschede, Netherlands, on 24–26 September, 2014. The aim of the AVoCS series is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. The subject is to be interpreted broadly and inclusively. It covers all aspects of automated verification, including model checking, theorem proving, abstract interpretation, and refinement pertaining to various types of critical systems (safety-critical, security-critical, business-critical, performance-critical, etc.).",

keywords = "CR-D.2.4, FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS, industrial systems, critical systems, EC Grant Agreement nr.: FP7/258405, METIS-318452, EC Grant Agreement nr.: FP7/287767, EWI-27002, IR-100718, Automated verification, Formal Methods, EC Grant Agreement nr.: FP7/2007-2013, 2023 OA procedure",

author = "Marieke Huisman and {van de Pol}, Jaco",

note = "eemcs-eprint-27002 ; 14th International Workshop on Automated Verification of Critical Systems, AVoCS 2014, AVoCS ; Conference date: 24-09-2014 Through 26-09-2014",

year = "2016",

month = oct,

doi = "10.1016/j.scico.2016.04.013",

language = "English",

volume = "128",

pages = "1--1",

journal = "Science of computer programming",

issn = "0167-6423",

publisher = "Elsevier B.V.",

}

TY - JOUR

T1 - Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14)

A2 - Huisman, Marieke

A2 - van de Pol, Jaco

N1 - Conference code: 14

PY - 2016/10

Y1 - 2016/10

N2 - AVoCS 2014, the 14th International Conference on Automated Verification of Critical Systems has been hosted by the University of Twente, and has taken place in Enschede, Netherlands, on 24–26 September, 2014. The aim of the AVoCS series is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. The subject is to be interpreted broadly and inclusively. It covers all aspects of automated verification, including model checking, theorem proving, abstract interpretation, and refinement pertaining to various types of critical systems (safety-critical, security-critical, business-critical, performance-critical, etc.).

AB - AVoCS 2014, the 14th International Conference on Automated Verification of Critical Systems has been hosted by the University of Twente, and has taken place in Enschede, Netherlands, on 24–26 September, 2014. The aim of the AVoCS series is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. The subject is to be interpreted broadly and inclusively. It covers all aspects of automated verification, including model checking, theorem proving, abstract interpretation, and refinement pertaining to various types of critical systems (safety-critical, security-critical, business-critical, performance-critical, etc.).

KW - CR-D.2.4

KW - FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS

KW - industrial systems

KW - critical systems

KW - EC Grant Agreement nr.: FP7/258405

KW - METIS-318452

KW - EC Grant Agreement nr.: FP7/287767

KW - EWI-27002

KW - IR-100718

KW - Automated verification

KW - Formal Methods

KW - EC Grant Agreement nr.: FP7/2007-2013

KW - 2023 OA procedure

U2 - 10.1016/j.scico.2016.04.013

DO - 10.1016/j.scico.2016.04.013

M3 - Article

SN - 0167-6423

VL - 128

SP - 1

EP - 1

JO - Science of computer programming

JF - Science of computer programming

T2 - 14th International Workshop on Automated Verification of Critical Systems, AVoCS 2014

Y2 - 24 September 2014 through 26 September 2014

ER -

Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14)

Abstract

Keywords

Access to Document

Fingerprint

Cite this