01746nam 2200469 450 991073559520332120230829135540.0(CKB)5590000001147000(NjHacI)995590000001147000(EXLCZ)99559000000114700020230829d2023 ua 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierVORTEX '23 Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution : July 18, 2023 Seattle, WA, USA /edited by Davide Ancona and Giorgio AudritoNew York, NY :Association for Computing Machinery,2023.1 online resource (20 pages)ACM ConferencesIncludes index.979-84-00-70249-5 Welcome to the 6th Workshop on Verification and Monitoring at Runtime Execution (VORTEX 2023), hosted in Seattle (WA), USA, July 18, 2023, co-located with ECOOP/ISSTA 2023.Computer softwareVerificationCongressesDistributed data processingComputer scienceCongressesEmbedded computer systemsCongressesFormal methods (Computer science)CongressesComputer softwareVerificationDistributed data processing.Computer scienceEmbedded computer systemsFormal methods (Computer science)005.14Ancona DavideAudrito GiorgioNjHacINjHaclBOOK9910735595203321VORTEX '233460581UNINA