Apt – Verification of Sequential and Concurrent Programs

Libro adottato a Udine, a.a. 2025/2026 · 2 canali

«Apt – Verification of Sequential and Concurrent Programs» è adottato per Formal Methods For Security dal prof. Marina Lenisa (Artificial Intelligence & Cybersecurity – sede di Udine – Udine); per Metodi Formali per la Sicurezza Informatica dal prof. Marina Lenisa (Informatica – sede di Udine, Sede di UDINE – Udine).

Come lo indica il docente: Apt K., de Boer F., Olderog E-R., "Verification of Sequential and Concurrent Programs", Springer, 3rd edition, 2009

Chi lo adotta

• Formal Methods For Security – Prof. Marina Lenisa (canale unico) a.a. 2025/2026Artificial Intelligence & Cybersecurity – sede di Udine · Laurea magistrale (LM-18) · esame facoltativo · Piano Ad Approvazione Automatica · 6 CFU
• Metodi Formali per la Sicurezza Informatica – Prof. Marina Lenisa (canale unico) a.a. 2025/2026Informatica – sede di Udine, Sede di UDINE · Laurea magistrale (LM-18) · 1º anno · annuale · 9 CFU

Programma e testi di ogni canale

Si studia insieme a

• Concurrent Programs – 3rd edition
• Peter O'Hearn – Resources, Concurrency and Local Reasoning
• Theoretical Computer Science, 375 (1-3), 2007
• Calculus and ProVerif