Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems

Authors:
Ina Schaefer;Arnd Poetzsch-Heffter
Affiliations:
-;-
Venue:
SEFM '08 Proceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods
Year:
2008

Citing 0
Cited 1

A four-way framework for validating a specification

SAICSIT '10 Proceedings of the 2010 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists

Quantified Score

Hi-index	0.01

Visualization

Abstract

In this tutorial we will consider abstract non-interference as a formal model for reasoning about language based security. Abstract non-interference generalises standard non-interference by modelling the information leaked as abstract properties of concrete ...