You are here: Home -  Abercrombie Gigli Lavoro in cui il modello astratto è

Abercrombie Gigli Lavoro in cui il modello astratto è

Abercrombie Gigli Lavoro

Questo lavoro analizza sia la precisione e il modello di controllo dell'efficienza di modelli astratti progettati per preservare ramificazione logiche temporali wrt una semantica 3-valore. Modelli astratti Abercrombie Gigli Lavoro attuali utilizzano transizioni ordinarie a più di ravvicinare le transizioni di cemento, mentre utilizzano le transizioni ipertestuali a sotto, sul ravvicinamento delle transizioni di cemento. In questo lavoro, si fa riferimento alla precisione di misura wrt la scelta di stati astratte, indipendentemente formalismo usato per descrivere modelli astratti. Mostriamo che gli attuali modelli astratti non consentono la massima precisione. Suggeriamo una nuova classe di modelli e di una costruzione di un modello astratto che è WRT più preciso ogni scelta di stati astratti. Come prima, la costruzione di tali modelli potrebbe comportare un ingrandimento esponenziale, che è inerente con l'uso di transizioni iper. Si consiglia quindi di un algoritmo efficiente in cui il modello astratto è costruito durante il model checking, dal bisogno. Il nostro algoritmo di ottenere la massima precisione w.r.t. la struttura proposta, pur rimanendo quadratica del numero degli stati astratti. Per completare Abercrombie Prezzi Usa il quadro, incorporiamo in un quadro astratto-raffinatezza.
0 Commenti


Parlare la vostra mente