On Model Checking Safety Properties

Simple item page
dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.authorLatvala, Timo
dc.contributor.departmentTietotekniikan osastofi
dc.contributor.schoolTeknillinen korkeakoulufi
dc.contributor.schoolHelsinki University of Technologyen
dc.contributor.supervisorHusberg, Nisse 
dc.date.accessioned2021-04-14T20:59:38Z
dc.date.available2021-04-14T20:59:38Z
dc.date.issued2002 
dc.format.extent64 
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/106264
dc.identifier.urnURN:NBN:fi:aalto-202104145554
dc.language.isoenen
dc.programme.majorTietojenkäsittelyteoriafi
dc.programme.mcodeT-79fi
dc.rights.accesslevelclosedAccess
dc.subject.keywordcomputer aided verificationen
dc.subject.keyworddatorstödd verifieringsv
dc.subject.keywordmodel checkingen
dc.subject.keywordmodellverifieringsv
dc.subject.keywordLTLen
dc.subject.keywordsäkerhetsegenskapersv
dc.subject.keywordsafety propertiesen
dc.subject.keywordabstraktionsv
dc.subject.keywordabstractionen
dc.subject.keywordfärgade Petrinätsv
dc.subject.keywordColoured Petri netsen
dc.titleOn Model Checking Safety Propertiesen
dc.titleOm modellverfiering av säkerhetsegenskapersv
dc.type.okmG3 Lisensiaatintutkimus 
dc.type.ontasotLicentiate thesisen
dc.type.ontasotLisensiaatintyöfi
local.aalto.digiauthask
local.aalto.digifolderAalto_80221
local.aalto.idinssi19329
local.aalto.openaccessno

Files

Collections

[lic] Teknillinen korkeakoulu / TKK