Modelling Embedded Systems by Non-Monotonic Refinement

Share/Save/Bookmark

Mader, A. and Marincic, J. and Wupper, H. (2008) Modelling Embedded Systems by Non-Monotonic Refinement. [Report]

open access
[img]
Preview
PDF
168kB
Abstract:This paper addresses the process of modelling embedded sys-
tems for formal verification. We propose a modelling process built on
non-monotonic refinement and a number of guidelines. The outcome of
the modelling process is a model, together with a correctness argument
that justifies our modelling decisions. After explaining the method, we
demonstrate it on a small example.

Item Type:Report
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/64771
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 250983