logo
Università della Svizzera italiana
  • Italiano
  • English
  • usi.ch
  • Info Desk
  • Mappe campus
search.usi
Ricerca di contatti, progetti,
corsi e pubblicazioni
English
Persone
    Formazione
    • Programmi
    • Corsi
    Ricerca
    • Progetti
    • Pubblicazioni
    • Mappa competenze
    Organizzazione
    • Facoltà
    • Altre unità organizzative

    Software Analysis

    • Profilo

    • Piano orari

    Descrizione

    Developing software that behaves as expected is challenging not just in practice but due to the intrinsic complexity of analyzing software properties automatically. Software analysis offers techniques that can work around these hurdles – guaranteeing correctness, or helping find incorrect behavior. This course describes software analysis techniques, highlights their theoretical underpinnings, and presents tools that make them available in practice to the working software engineer. The presentation includes techniques spanning different levels of correctness guarantees, automation, and applicability. The main topics covered are: axiomatic semantics and deductive verification; static analysis and abstract interpretation; predicate abstraction; and dynamic inference. The course includes assignments where students try out open-source software analysis tools in practice – understanding the trade-offs involved in making software verification technology applicable in realistic settings.

     

     

    REFERENCES

    • M. Huth, M. Ryan: Logic in computer science. 2nd edition, Cambridge University Press, 2004
    • F. Nielson, H. R. Nielson, C. Hankin: Principles of program analysis. Springer, 2004
    • A. R. Bradley, Z. Manna: The calculus of computation. Springer, 2007

    Persone

     

    Furia C. A.

    Docente titolare del corso

    Informazioni aggiuntive

    Semestre
    Primaverile
    Anno accademico
    2018-2019
    ECTS
    6
    Lingua
    Inglese
    Offerta formativa
    Master of Science in Software & Data Engineering, Corso di base, Corso, 1° anno

    Links

    • Facoltà di scienze informatiche
    Università della
    Svizzera italiana

    Via Buffi 13
    6900 Lugano, Svizzera
    tel +41 58 666 40 00
    fax +41 58 666 46 47
    e-mail info@usi.ch
    Altri contatti
    Feedback sul sito

    Indicazioni

    • Campus Lugano
    • Campus Mendrisio
    • Campus Bellinzona

    Resta in contatto

    • Facebook
    • Twitter
    • Instagram
    • Youtube
    • LinkedIn
    • Newsletter
    • Rapporto annuale
    • Iscriviti ai nostri canali
    © Università della Svizzera italiana
    Informazioni legali Credits
    swissuniversities.ch
    logo
    • Facoltà
    • Istituti
    • Organi
    • Biblioteche e archivi
    • Aree
    • Servizi
    • Offerte di lavoro