Martin Zimmermann

Esplora come la Verifica al Runtime aiuti a controllare le prestazioni del sistema attraverso le tracce degli eventi.

Uno sguardo sulle tecniche di monitoraggio per prestazioni affidabili dei sistemi in tempo reale.

La semantica di team migliora la verifica di proprietà complesse nei sistemi software.