Verification and Performance Analysis for Embedded Systems
Kim G. Larsen · 2009
This talk provides a thorough tutorial of the UPPAAL tool suite for, modeling, simulation, verification, optimal scheduling, synthesis, testing and performance analysis of embedded and real-time systems.