Questo libro costituisce gli atti della 6a Conferenza Internazionale su Strumenti e Algoritmi per la Costruzione e l'Analisi dei Sistemi, TACAS 2000, tenutasi come parte di ETAPS 2000 a Berlino, Germania, nel marzo/aprile 2000. I 33 documenti completi revisionati presentati insieme a un documento invitato e due brevi descrizioni degli strumenti sono stati attentamente esaminati e selezionati da un totale di 107 contributi. Gli articoli sono organizzati in sezioni tematiche su software e metodi formali, metodi formali, sistemi temporizzati e ibridi, sistemi infiniti e parametrizzati, generazione di test e diagnosi, controllo efficiente del modello, strumenti di controllo del modello, controllo del modello simbolico, strumenti visivi e verifica dei sistemi critici.
caricamento...
