E-Books →TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

Free Download Dirk Beyer, "TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions "
English | ISBN: 3031676947 | 2024 | 184 pages | EPUB | 10 MB
TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April n Paris, France. The goal is to acknowledge the achievements of the various research competitions and comparative evaluations broadly related to the field of formal methods, to explain to the audience which tools from the field of formal methods they evaluate, and to understand their commonalities and differences. The developers of the participating tools typically participate in the competitions and evaluations, choosing the right parameters for the tools, or the best workflow for the approach.