Organization Full Program · Contributors · Organizations · Search Program · My AgendaMore…Search ProgramMy AgendaUniversità della Svizzera italianaSession Chair(s)Martin BlichaPatrick EugsterAntti E. J. HyvärinenRodrigo OtoniNatasha SharyginaPresentationsResearch ManuscriptTheory-Specific Proof Steps Witnessing Correctness of SMT ExecutionsEDADesign Verification and ValidationPresented In-Person