VSE knjižnice (vzajemna bibliografsko-kataložna baza podatkov COBIB.SI)
  • Preverjanje pravilnosti obnašanja sistemov s sočasnostjo : magistrsko delo
    Meolic, Robert
    Magistrsko delo obravnava metode preverjanja pravilnosti obnašanja sistemov, ki temeljijo na opisu sistema s procesno algebro. Podana je definicija procesne algebre in primeri opisov sistemov s ... procesi. Predstavljeno je ugotavljanje ekvivalence sledi, stroge, vejitvene in šibke opazovalne ekvivalence, ugotavljanje testne ekvivalence ter simbolično preverjanje modelov z izjavno vejitveno temporalno logiko ACTL. Vse obravnavane metode se med seboj odlično dopolnjujejo in skupaj tvorijo močno orodje za formalno verifikacijo sistemov. V magistrskem delu je opisana izvedba takšnega orodja z BDD-ji. Uporaba orodja je ponazorjena na primeru verifikacije komunikacijskega protokola BRP.
    Vrsta gradiva - magistrsko delo
    Založništvo in izdelava - Maribor : [R. Meolic], 1999
    Jezik - slovenski
    COBISS.SI-ID - 4972822

    Povezava(-e):

    Digitalna knjižnica Univerze v Mariboru – DKUM

Knjižnica/institucija Kraj Akronim Za izposojo Druga zaloga
Knjižnica tehniških fakultet, Maribor Maribor KTFMB v čitalnico 1 izv.
loading ...
loading ...
loading ...

Vnos na polico