Deadlock and Reachability Checking with Finite Complete Prefixes



Title:	Deadlock and Reachability Checking with Finite Complete Prefixes Lukkiuma- ja saavutettavuusominaisuuksien tarkastus käyttäen äärellisiä täydellisiä prefiksejä
Author(s):	Heljanko, Keijo
Date:	1999
Language:	en
Pages:	vi + 79
Department:	Tietotekniikan osasto
Major/Subject:	Digitaalitekniikka
Supervising professor(s):	Ojala, Leo
Thesis advisor(s):	Niemelä, Ilkka
Keywords:	computer aided verification, tietokoneavusteinen verifiointi, Petri nets, Petri-verkot, finite complete prefixes, äärelliset täydelliset prefiksit, net unfoldings, verkkojen suoristus, model checking, mallintarkastus, deadlocks, lukkiumat, reachability, saavutettavuus, logic programs, logiikkaohjelmat, stable model semantics, stabiilien mallien semantiikka, computational complexity, laskennallinen vaativuus
	OEVS yes
» Show full item record
Permanent link to this item: http://urn.fi/URN:NBN:fi:aalto-202104145259 Email this Export to RefWorks QR Code Print BibTex Tweet