Martin Zimmermann

Uno sguardo ai metodi di monitoraggio in tempo reale per le prestazioni del sistema e la sicurezza.

Scopri come il model-checking HyperLTL migliora la sicurezza dei sistemi software.

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.