Abstractions and Static Analysis for Verifying Reactive Systems

N. Yustinova

Research output: PhD ThesisPhD Thesis - Research external, graduation VUAcademic

Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Fokkink, W.J., Supervisor
  • Sidorova, N., Co-supervisor, External person
Award date4 Nov 2004
Print ISBNs906196525X
Publication statusPublished - 2004

Keywords

  • SDL
  • SPIN
  • data abstractions
  • fairness
  • model-checking
  • process algebra
  • reactive systems
  • timed systems
  • verification

Cite this

@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",
school = "Vrije Universiteit Amsterdam",

}

Yustinova, N 2004, 'Abstractions and Static Analysis for Verifying Reactive Systems', PhD, Vrije Universiteit Amsterdam.

Abstractions and Static Analysis for Verifying Reactive Systems. / Yustinova, N.

2004.

Research output: PhD ThesisPhD Thesis - Research external, graduation VUAcademic

TY - THES

T1 - Abstractions and Static Analysis for Verifying Reactive Systems

AU - Yustinova, N.

PY - 2004

Y1 - 2004

KW - SDL

KW - SPIN

KW - data abstractions

KW - fairness

KW - model-checking

KW - process algebra

KW - reactive systems

KW - timed systems

KW - verification

M3 - PhD Thesis - Research external, graduation VU

SN - 906196525X

ER -