VECoS 2024

17th International Conference on Verification and Evaluation of Computer and Communication Systems
16, Oct, 2024 to 18, Oct, 2024
Djerba, Tunisa
Homepage: Link
Deadline: 13, May, 2024

The VECoS conference series focuses on the analysis of computer and communication systems, where functional and extra-functional properties are inter-related. VECoS encourages the cross-fertilization between the various formal verification and evaluation approaches, methods and techniques, especially those developed for concurrent and distributed hardware/software systems.