Logo
Unionpedia
Comunicazione
Disponibile su Google Play
Nuovo! Scarica Unionpedia sul tuo dispositivo Android™!
Scaricare
l'accesso più veloce di browser!
 

Model checking

Indice Model checking

Il model checking è un metodo per verificare algoritmicamente i sistemi formali.

7 relazioni: Algoritmo, Association for Computing Machinery, MIT Press, Real-time, Sistema informatico, Springer (azienda), UPPAAL.

Algoritmo

Un algoritmo è un procedimento che risolve un determinato problema attraverso un numero finito di passi elementari in un tempo ragionevole.

Nuovo!!: Model checking e Algoritmo · Mostra di più »

Association for Computing Machinery

La Association for Computing Machinery (ACM) è un'associazione internazionale accademica e senza scopo di lucro dedicata a scienziati ed educatori dell'informatica ACM,.

Nuovo!!: Model checking e Association for Computing Machinery · Mostra di più »

MIT Press

The MIT Press è una casa editrice universitaria del Massachusetts Institute of Technology (MIT), con sede a Cambridge, in Massachusetts (Stati Uniti d'America).

Nuovo!!: Model checking e MIT Press · Mostra di più »

Real-time

In informatica, si indicano con real-time computing (in italiano "computazione in tempo reale") le computazioni per le quali la correttezza del risultato dipende non solo dalla correttezza logica ma anche dal tempo di risposta.

Nuovo!!: Model checking e Real-time · Mostra di più »

Sistema informatico

Un sistema informatico o sistema di elaborazione dati è un sistema meccanografico, un computer o un insieme di più computer, apparati o sottosistemi elettronici (come server, database, mainframe, supercomputer, switch, router, modem, terminali), tra loro interconnessi in rete, in un'architettura di base di tipo client-server, e preposti a una o più funzionalità o a servizi di elaborazione a favore degli utenti.

Nuovo!!: Model checking e Sistema informatico · Mostra di più »

Springer (azienda)

Springer Science+Business Media è un gruppo editoriale con sedi a Berlino, Heidelberg, negli Stati Uniti e nei Paesi Bassi.

Nuovo!!: Model checking e Springer (azienda) · Mostra di più »

UPPAAL

UPPAAL è uno strumento software per la verifica di sistemi real-time, modellati sotto forma di reti di automi a tempo.

Nuovo!!: Model checking e UPPAAL · Mostra di più »

UscenteArrivo
Ehi! Siamo su Facebook ora! »