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.

Os Anais do II Workshop on Validation and Verification of Future Cyber-physical Systems (WAFERS 2021) trazem os artigos selecionados e apresentados na edição do evento realizada online, de 22 a 26 de novembro de 2021, na cidade de Florianópolis/SC, em conjunto com o X Latin-American Symposium on Dependable Computing (LADC 2021). Nesta edição, os anais incluem 08 artigos completos. Esses trabalhos foram selecionados através de um processo de revisão por pares do tipo peer-review. Este volume foi organizado por Leonardo Montecchi (Universidade de Campinas), Nuno Laranjeiro (Universidade de Coimbra) e Vince Molnár (Budapest University of Technology and Economics), coordenadores do WAFERS 2021. Os artigos que integram essa série de anais foram submetidos em 19/09/2021, aceitos para publicação em 02/10/2021, tendo a versão final submetida em 12/10/2021.

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