Odkrivanje zatičnih napak s simboličnim preverjanjem modelov : doktorska disertacija

VSE knjižnice (vzajemna bibliografsko-kataložna baza podatkov COBIB.SI)

Odkrivanje zatičnih napak s simboličnim preverjanjem modelov : doktorska disertacija

Časar, Aleš

Doktorska disertacija predstavlja algoritme za avtomatsko generiranje testnih vzorcev, s pomočjo katerih pri sekvenčnih digitalnih vezjih odkrivamo zatične napake, oziroma pokažemo, da zatičnih napak ... v danem primeru vezja ni. Vezje predstavimo kot končni avtomat, za zatične napake zgeneriramo lastnosti v obliki CTL formul, ki so veljavne v vezju z zatičnimi napakami in praviloma neveljavne v dobrem vezju. S simboličnim preverjanjem modelov preverimo veljavnost formul in za neveljavne formule skonstruiramo protiprimere, s katerimi vezje pripeljemo v stanja, ki dokažejo odsotnost zatičnih napak. Testni vzorci so sestavljeni tako, da izvajanje vezja vodijo po poti protiprimerov. Teoretične raziskave so podkrepljene z eksperimentalnimi rezultati. Prikazana je tudi analiza časovne in prostorske zahtevnosti. Glavni rezultat predstavljajo avtomatsko zgenerirani testni vzorci za odkrivanje zatičnih napak.

Vrsta gradiva - disertacija

Založništvo in izdelava - Maribor : [A. Časar], 2002

Jezik - slovenski

COBISS.SI-ID - 7273750

Išči dalje

Drugi avtorji
Brezočnik, Zmago | Horvat, Bogomir, 1936-

Zaloga po knjižnicah

Knjižnica/institucija	Kraj	Akronim	Za izposojo
Knjižnica tehniških fakultet, Maribor	Maribor	KTFMB	v čitalnico 1 izv.
Narodna in univerzitetna knjižnica, Ljubljana	Ljubljana	NUK	v čitalnico 1 izv.
Pokrajinska in študijska knjižnica, Murska Sobota	Murska Sobota	SIKMS	v čitalnico 1 izv.
Univerzitetna knjižnica Maribor	Maribor	UKM	v čitalnico 1 izv.

Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.

Leto	Faktor vpliva		Izdaja		Kategorija		Razvrstitev
Leto	JCR	SNIP	JCR	SNIP	JCR	SNIP	JCR	SNIP

Povezave do osebnih bibliografij avtorjev	Povezave do podatkov o raziskovalcih v sistemu SICRIS
Časar, Aleš	15672
Brezočnik, Zmago	02071
Horvat, Bogomir, 1936-	03015

Vir: Osebne bibliografije in: SICRIS

Gradivo iz matične enote je brezplačno. Če je gradivo na mesto prevzema dostavljeno iz drugih enot, lahko knjižnica to storitev zaračuna.

Mesto prevzema	Status gradiva	Rezervacija

Naloži sliko

Vnos na polico

Dodajanje gradiva na polico je uspelo.

Dodajanje gradiva na polico je spodletelo.

Dodajanje gradiva na polico ni bilo potrebno.

Trajna povezava

E-pošta

Faktor vpliva

Izberite knjižnično izkaznico:

Baze podatkov, v katerih je revija indeksirana

Izberite prevzemno mesto:

Prevzem gradiva po pošti

Obvestilo

Citiranje

Gesla v Splošnem geslovniku COBISS

Izbira mesta prevzema

Rezervacija je uspela.

Rezervacija ni uspela.

Rezervacija...

Bibliografski podatki

Število izposoj

Izposoja uspešna

Izposoja ni uspela

Izposoja uspešna

Izposoja ni uspela

Izposoja uspešna

Izposoja ni uspela

Izposoja uspešna

Izposoja ni uspela

Tema