| Year | 2012 |
|---|---|
| Type | Unpublished |
| Status | Unpublished |
| Authors | Mihail Asavoae |
Abstract
This dissertation presents the design of a definitional semantics-based WCET analyzer, bridging the gap between the principles of formal executable specification, promoted by the K framework and the existing methods and techniques, which were successfully applied in analysis and verification of embedded software.
BibTeX
@Unpublished{phd-thesis-ma-2012,
author = {Mihail Asavoae},
title = {Semantics-Based WCET Analysis},
month = {September},
year = {2012},
note = {PhD Thesis},
}