Verifica formale

Nell'ambito dei sistemi software e hardware la Verifica formale è l'azione di provare o smentire matematicamente la correttezza degli algoritmi di un sistema controllando che rispettino specifiche formali o proprietà, usando metodi formali matematici.

6 relazioni: Automa a stati finiti, Circuito combinatorio, Correttezza, Logica di Hoare, Rete di Petri, Sistema a transizione di stati.

Automa a stati finiti

Un automa a stati finiti (ASF o FSA, dall'inglese Finite State Automata) o macchina a stati finiti (FSM dall'inglese Finite State Machine) è un tipo di automa che permette di descrivere con precisione e in maniera formale il comportamento di molti sistemi.

Nuovo!!: Verifica formale e Automa a stati finiti · Mostra di più »

Circuito combinatorio

Viene chiamato circuito combinatorio o rete combinatoria quel circuito il cui funzionamento riguarda solo la relazione ingresso-uscita.Tale relazione è descritta da una funzione logica.

Nuovo!!: Verifica formale e Circuito combinatorio · Mostra di più »

Correttezza

* Correttezza in logica matematica.

Nuovo!!: Verifica formale e Correttezza · Mostra di più »

Logica di Hoare

La logica di Hoare è un sistema formale che rientra tra le semantiche assiomatiche pubblicato per la prima volta nel 1969 da C. A. R. Hoare che si prefigge, definendo un insieme iniziale di assiomi e di regole su di essi, di valutare la correttezza di programmi utilizzando il rigore dei formalismi matematici.

Nuovo!!: Verifica formale e Logica di Hoare · Mostra di più »

Rete di Petri

Esempio di una rete di Petri Una rete di Petri (conosciuta anche come rete posto/transizione o rete P/T) è una delle varie rappresentazioni matematiche di un sistema distribuito discreto.

Nuovo!!: Verifica formale e Rete di Petri · Mostra di più »

Sistema a transizione di stati

In informatica teorica un sistema a transizione di stati è una macchina astratta usata nella teoria della computazione.

Nuovo!!: Verifica formale e Sistema a transizione di stati · Mostra di più »

Unionpedia è una mappa concettuale o rete semantica organizzata come un'enciclopedia o un dizionario. Esso fornisce una breve definizione di ogni concetto e le sue relazioni.

Si tratta di una mappa mentale in linea gigante che serve come base per gli schemi concettuali, immagini o sintesi sinaptica. E 'gratuito - liberi, liberi di usare e ogni elemento o documento può essere scaricato. E 'uno strumento, risorsa o di riferimento per lo studio, la ricerca, l'istruzione, la formazione o istruzione che gli insegnanti possono utilizzare, insegnanti, professori, educatori, alunni e studenti; o la scuola per il mondo accademico, a scuola, primaria, secondaria, di mezzo, università, laurea tecnica, college, università, laurea, master o dottorati; per documenti, relazioni, documenti, progetti, idee, documentazione, riassunti, sondaggi o tesi. Ecco la definizione, spiegazione, descrizione, o il significato di ogni significativo su cui avete bisogno di informazioni, e una lista o un elenco di concetti correlati come appare un glossario. Disponibile in italiano, inglese, spagnolo, portoghese, giapponese, cinese, francese, tedesco, polacco, olandese, russo, arabo, hindi, svedese, ucraino, ungherese, catalano, ceco, ebraico, danese, finlandese, indonesiano, norvegese, rumeno, turco, vietnamita, coreano, tailandese, greco, bulgaro, croato, slovacca, lituano, filippina, lettone, estone e sloveno. Altre lingue presto.

Tutte le informazioni è stato estratto da Wikipedia, ed è disponibile secondo la licenza Creative Commons Attribuzione-Condividi allo stesso modo.

Unionpedia non è supportata o affiliata alla Wikimedia Foundation.

Google Play, Android e il logo di Google Play sono marchi di Google Inc.

Politica sulla riservatezza