TAPAS 2020
Dates to be announced Chicago, Illinois, United States
co-located with SPLASH 2020
Conference Editions
Dates to be announced Chicago, Illinois, United States

TAPAS 2020 with SPLASH 2020

In recent years, a wide range of static analysis tools have emerged, some of which are currently in industrial use or are well beyond the advanced prototype level. Many impressive practical results have been obtained, which allow complex properties to be proven or checked in a fully or semi-automatic way, even in the context of complex software developments. In parallel, the techniques to design and implement sta ...