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

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

Research output: Contribution to journalArticle

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.).

Fingerprint

Theorem proving
Model checking
Security systems
Industry

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

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",
author = "Marieke Huisman and {van de Pol}, Jaco",
note = "eemcs-eprint-27002",
year = "2016",
month = "10",
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",

}

TY - JOUR

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

A2 - Huisman,Marieke

A2 - van de Pol,Jaco

N1 - eemcs-eprint-27002

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

U2 - 10.1016/j.scico.2016.04.013

DO - 10.1016/j.scico.2016.04.013

M3 - Article

VL - 128

SP - 1

EP - 1

JO - Science of computer programming

T2 - Science of computer programming

JF - Science of computer programming

SN - 0167-6423

ER -