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

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

    Research output: Contribution to journalArticleAcademic

    58 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 languageEnglish
    Pages (from-to)1-1
    Number of pages1
    JournalScience of computer programming
    Volume128
    DOIs
    Publication statusPublished - Oct 2016
    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

    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

    JF - Science of computer programming

    SN - 0167-6423

    ER -