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

    75 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

    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

    Fingerprint Dive into the research topics of 'Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14)'. Together they form a unique fingerprint.

  • Cite this