Object Models with Temporal Constraints

Authors:
Alessandro Cimatti;Marco Roveri;Angelo Susi;Stefano Tonetta
Affiliations:
-;-;-;-
Venue:
SEFM '08 Proceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods
Year:
2008

Citing 0
Cited 4

Requirements Validation for Hybrid Systems

CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
OthelloPlay: a plug-in based tool for requirement formalization and validation

Proceedings of the 1st Workshop on Developing Tools as Plug-ins
Formalizing requirements with object models and temporal constraints

Software and Systems Modeling (SoSyM)
Towards a notion of unsatisfiable and unrealizable cores for LTL

Science of Computer Programming

Quantified Score

Hi-index	0.00

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 ...