Alla ricerca della correttezza dei programmi (Introduzione) – Metodi formali

Alla ricerca della correttezza dei programmi: un’introduzione ai metodi formali per descrivere, analizzare e verificare il comportamento dei programmi. Nel corso verranno affrontati modelli astratti, la semantica dei linguaggi e tecniche di verifica, con l’obiettivo di fornire basi teoriche rigorose per il ragionamento formale sul software. Il corso verrà interamente tenuto su YouTube. Fonti principali: – H. R. Nielson, F. Nielson — Semantics with Applications: A Formal Introduction – Glynn Winskel — The Formal Semantics of Programming Languages – Tobias Nipkow, Gerwin Klein — Concrete Semantics #MetodiFormali #ProgramVerification #ProgramAnalysis #Semantica #HoareLogic #ComputerScience #InformaticaTeorica #FormalMethods #SoftwareCorrectness #ProgrammingTheory#logica #università #matematica #foryoupage