2013
2013
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Formal methods
Informazioni generali
Corso di Laurea Informatica Percorso ICT Innovation
CFU 12 Università TRENTO
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

12 cfu così ripartiti nelle aree:

  • 12 CFU nell'area A - Fondamenti

Sillabo dell'insegnamento

  • A - Fondamenti
    • L - Logica
      Software verification
    • L - Logica
      Verification of RTL circuits
    • L - Logica
      SAT-based Model Checking
    • L - Logica
      PSL/sugar
    • L - Logica
      Model checking with timed and hybrid systems
    • L - Logica
      Symbolic Model Checking
    • L - Logica
      Computational Tree Logic Model Checking
    • L - Logica
      Model checking
    • L - Logica
      Linear Temporal Logic Model Checking
    • L - Logica
      Ordered Binary Decision Diagrams
    • L - Logica
      Linear Temporal Logic and Computation Tree Logic
    • L - Logica
      Explicit-State Model Checking

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa