Preface

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

4 Downloads (Pure)

Abstract

This is a preface of the special issue of the 14th international workshop on Automated Verification of Critical Systems. This workshop covers all aspects of automated verification, including model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems which need to meet stringent dependability requirements (safety-critical, business-critical, performance-critical, etc.).
Original languageEnglish
Title of host publicationProceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014)
EditorsMarieke Huisman, Jaco van de Pol
Place of PublicationBerlin
PublisherEuropean Association of Software Science and Technology
Pages1-3
Number of pages3
Publication statusPublished - Sep 2014
Event14th International Workshop on Automated Verification of Critical Systems, AVoCS 2014 - University of Twente, Enschede, Netherlands
Duration: 24 Sep 201426 Sep 2014
Conference number: 14

Publication series

NameElectronic Communications of the EASST
PublisherEuropean Association of Software Science and Technology
Volume70
ISSN (Print)1863-2122
ISSN (Electronic)1863-2122

Workshop

Workshop14th International Workshop on Automated Verification of Critical Systems, AVoCS 2014
Abbreviated titleAVoCS
CountryNetherlands
CityEnschede
Period24/09/1426/09/14

Fingerprint

Theorem proving
Surface mount technology
Model checking
Industry

Keywords

  • EWI-25474
  • CR-D.2.4
  • FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS
  • METIS-309759
  • Automated verification
  • Formal Methods
  • IR-93981
  • critical systems

Cite this

Huisman, M., & van de Pol, J. (2014). Preface. In M. Huisman, & J. van de Pol (Eds.), Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014) (pp. 1-3). (Electronic Communications of the EASST; Vol. 70). Berlin: European Association of Software Science and Technology.
Huisman, Marieke ; van de Pol, Jaco. / Preface. Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014). editor / Marieke Huisman ; Jaco van de Pol. Berlin : European Association of Software Science and Technology, 2014. pp. 1-3 (Electronic Communications of the EASST).
@inproceedings{d5f78837888b44a0bec7b82f503b902d,
title = "Preface",
abstract = "This is a preface of the special issue of the 14th international workshop on Automated Verification of Critical Systems. This workshop covers all aspects of automated verification, including model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems which need to meet stringent dependability requirements (safety-critical, business-critical, performance-critical, etc.).",
keywords = "EWI-25474, CR-D.2.4, FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS, METIS-309759, Automated verification, Formal Methods, IR-93981, critical systems",
author = "Marieke Huisman and {van de Pol}, Jaco",
year = "2014",
month = "9",
language = "English",
series = "Electronic Communications of the EASST",
publisher = "European Association of Software Science and Technology",
pages = "1--3",
editor = "Marieke Huisman and {van de Pol}, Jaco",
booktitle = "Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014)",

}

Huisman, M & van de Pol, J 2014, Preface. in M Huisman & J van de Pol (eds), Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014). Electronic Communications of the EASST, vol. 70, European Association of Software Science and Technology, Berlin, pp. 1-3, 14th International Workshop on Automated Verification of Critical Systems, AVoCS 2014, Enschede, Netherlands, 24/09/14.

Preface. / Huisman, Marieke; van de Pol, Jaco.

Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014). ed. / Marieke Huisman; Jaco van de Pol. Berlin : European Association of Software Science and Technology, 2014. p. 1-3 (Electronic Communications of the EASST; Vol. 70).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

TY - GEN

T1 - Preface

AU - Huisman, Marieke

AU - van de Pol, Jaco

PY - 2014/9

Y1 - 2014/9

N2 - This is a preface of the special issue of the 14th international workshop on Automated Verification of Critical Systems. This workshop covers all aspects of automated verification, including model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems which need to meet stringent dependability requirements (safety-critical, business-critical, performance-critical, etc.).

AB - This is a preface of the special issue of the 14th international workshop on Automated Verification of Critical Systems. This workshop covers all aspects of automated verification, including model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems which need to meet stringent dependability requirements (safety-critical, business-critical, performance-critical, etc.).

KW - EWI-25474

KW - CR-D.2.4

KW - FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS

KW - METIS-309759

KW - Automated verification

KW - Formal Methods

KW - IR-93981

KW - critical systems

M3 - Conference contribution

T3 - Electronic Communications of the EASST

SP - 1

EP - 3

BT - Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014)

A2 - Huisman, Marieke

A2 - van de Pol, Jaco

PB - European Association of Software Science and Technology

CY - Berlin

ER -

Huisman M, van de Pol J. Preface. In Huisman M, van de Pol J, editors, Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014). Berlin: European Association of Software Science and Technology. 2014. p. 1-3. (Electronic Communications of the EASST).