Interpolant-Based Unbounded Model Checking

Il contenuto (Full text) non è disponibile all'interno di questo archivio. Spedisci una richiesta all'autore per una copia del documento
Tipo di pubblicazione: Altro
Tipologia MIUR: Altro > Altro
Titolo: Interpolant-Based Unbounded Model Checking
Autori: Cabodi G; Murciano M.
Autori di ateneo:
Abstract: Short presentation for the 2008 Alpine Verification Meeting (AVM)
Data: 2008
Status: Pubblicato
Lingua della pubblicazione: Inglese
Parole chiave:
Dipartimenti (originale): DAUIN - Dipartimento di Automatica Informatica
Dipartimenti: DAUIN - Dipartimento di Automatica e Informatica
URL correlate:
    Area disciplinare: Area 09 - Ingegneria industriale e dell'informazione > SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
    Data di deposito: 12 Nov 2008 13:27
    Data ultima modifica (IRIS): 27 Gen 2016 15:02:35
    Data inserimento (PORTO): 02 Feb 2016 04:04
    Permalink: http://porto.polito.it/id/eprint/1853434

    Azioni (richiesto il login)

    Visualizza il documento (riservato amministratori) Visualizza il documento (riservato amministratori)