Publication Date:
2011
abstract:
Il model checking ha dimostrato di essere una tecnologia di successo per verificare la correttezza dei requisiti nella progettazione di un consistente numero di sistemi real-time, embedded e safety-critical. Lo scopo di questo breve articolo è di spiegare come funziona.
Iris type:
01.01 Articolo in rivista
List of contributors:
Gnesi, Stefania
Published in: