Current Issue
The Proceedings of the 2nd Workshop on Validation and Verification of Future Cyber-physical Systems (WAFERS 2021) bring the papers selected and presented in the online edition of the event, held in Florianópolis/SC, from November 22-26, 2021, as part of the 10th Latin-American Symposium on Dependable Computing (LADC 2021). In this issue, the proceedings include 08 full papers. These papers were selected through peer review. This volume was organized by Leonardo Montecchi (University of Campinas), Nuno Laranjeiro (University of Coimbra), and Vince Molnár (Budapest University of Technology and Economics), WAFERS 2021 Chairs. The articles in this volume were submitted on 09/19/2021, and accepted for publication on 10/02/2021, with the final version submitted on 10/12/2021.
You can find more information about WAFERS 2021 by visiting the website of the event.
