Os Anais do III Workshop on Validation and Verification of Future Cyber-physical Systems (WAFERS 2022) trazem os artigos selecionados e apresentados na edição do evento realizado de modo híbrido, 21 a 24 de novembro de 2022, na cidade de Fortaleza/CE, em conjunto com o XI Latin-American Symposium on Dependable Computing (LADC 2022). Nesta edição, os anais incluem 04 artigos completos. Esses trabalhos foram selecionados através de um processo de revisão por pares do tipo single-blind. Este volume foi organizado por Raul Barbosa (University of Coimbra, Portugal), Enrico Schiavone (ResilTech, Italia) e Camilo Gómez (Universidad de los Andes, Colômbia), coordenadores do WAFERS 2022. Os artigos que integram essa série de anais foram submetidos em 09/10/2022, aceitos para publicação em 24/10/2022, tendo a versão final submetida em 31/10/2022.

Para mais informações sobre o WAFERS 2022, visite o site desta edição do evento.

Publicado: 21/11/2022

Artigos