Abstractions and Static Analysis for Verifying Reactive Systems

Research output: PhD Thesis › PhD-Thesis – Research external, graduation internal

348 Downloads (Pure)

Original language	English
Qualification	PhD
Awarding Institution	Vrije Universiteit Amsterdam
Supervisors/Advisors	Fokkink, Wan, Supervisor Sidorova, N., Co-supervisor, -
Award date	4 Nov 2004
Print ISBNs	906196525X
Publication status	Published - 2004

Keywords

@phdthesis{1d4423ec06c244aa84874702bdb12e61,

title = "Abstractions and Static Analysis for Verifying Reactive Systems",

keywords = "SDL, SPIN, data abstractions, fairness, model-checking, process algebra, reactive systems, timed systems, verification",

author = "N. Yustinova",

year = "2004",

language = "English",

isbn = "906196525X",

type = "PhD-Thesis – Research external, graduation internal",

school = "Vrije Universiteit Amsterdam",

}