Logo
Úniapédia
Komunikácia
Teraz na Google Play
Nový! Na stiahnutie Úniapédia na Android ™!
Zadarmo
Rýchlejšie ako prehliadači!
 

Overovanie modelov

Index Overovanie modelov

Overovanie modelov alebo model checking je automatizovaná metóda formálnej verifikácie paralelného systému s konečným počtom stavov.

3 vzťahy: Metóda, Protipríklad, Temporálna logika.

Metóda

Metóda je uvedomelý a cieľavedomý postup, určitým spôsobom usporiadaná činnosť alebo usporiadanie operácií, pretvárajúcich východiskové danosti istej cieľavedomej činnosti na jej zamýšľaný (čiastočne alebo úplne realizovaný) cieľ.

Nový!!: Overovanie modelov a Metóda · Pozrieť viac »

Protipríklad

Protipríklad alebo kontrapríklad je výnimka z navrhnutého všeobecného pravidla.

Nový!!: Overovanie modelov a Protipríklad · Pozrieť viac »

Temporálna logika

Temporálna logika je odvetvie logiky, ktoré skúma logickú štruktúru výrokov o čase s ktorými klasická výroková alebo predikátová logika nedokážu plnohodnotne narábať.

Nový!!: Overovanie modelov a Temporálna logika · Pozrieť viac »

Presmerovanie tu:

Model checking, Model-checking.

VychádzajúcePrichádzajúce
Hej! Sme na Facebooku teraz! »