Libri UniversitariApri il catalogo

Software Verification: Principles And Techniques – prof. Fabio Gadducci

Informatica – sede di Pisa · Università di Pisa · 2º anno · 1º semestre · Foundations of Software · 9 CFU · canale unico

Libri del canale

Software Verification: Principles And Techniques 9 CFU

FGProf. Fabio Gadducci Canale unico
Christel Baier and Joost-Pieter KatoenVerificato sulla scheda ufficiale il 02/10/2026
Cerca su Amazon ›
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Specifica delle proprietà del software Asserzioni Proprietà degli invarianti, safety e liveness, fairness Model Cheking di Proprietà Linear Time Sistemi di transizione e grafi del programma Controllo delle proprietà di safety regolari Controllo delle proprietà omega-regolari con gli automi di Büchi Logiche Linear Time Forme normali positive Fairness Model checking di formule LTL Logiche Computational Tree Model…

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Apri nel catalogo: Informatica – sede di Pisa, 2º anno, tutte le materie e i canali ›

Testi d'esame di Software Verification: Principles And Techniques del prof. Fabio Gadducci, canale unico, corso di laurea in Informatica – sede di Pisa (Laurea magistrale (LM-18)), Università di Pisa, 2º anno · 1º semestre · Foundations of Software · 9 CFU, a.a. 2026/2027. Libri adottati: Christel Baier and Joost-Pieter Katoen.

Altre materie del prof. Gadducci

Vedi anche: Prof. Fabio Gadducci · Software Verification: Principles And Techniques a Pisa (tutti i canali)