Symbiotic 5: Boosted Instrumentation

Chalupa, M; Vitovska, M; Strejcek, J

Chalupa, M (reprint author), Masaryk Univ, Brno, Czech Republic.

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2018, PT II, 2018; 10806 (): 442

Abstract

The fifth version of SYMBIOTIC significantly improves instrumentation capabilities that the tool uses to participate in the category MemSafety. It lev......

Full Text Link