Preface

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

    6 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

    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.