Abstractions and Static Analysis for Verifying Reactive Systems

N. Yustinova

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

192 Downloads (Pure)
Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Fokkink, Wan, Supervisor
  • Sidorova, N., Co-supervisor, -
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