Titlebook: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; 9th International Sy Tiziana Margaria,Bernh

ALIBI

A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations or safety properties. Optimizations for reducing the overhead are becoming increasingly sophisticated themselves, which makes it mandatory to verify that they preserve what shall be enforced..In this article, we propose a taxonomy for such optimizations and use it to develop a classification of exi

消息靈通

Thirty-Seven Years of Relational Hoare Logic: Remarks on Its Principles and?Historyrements such as confidentiality and program relations such as equivalence or similarity between program versions. A considerable number of recent works introduce different relational Hoare logics without yet converging on a core set of proof rules. This paper looks backwards to little known early wo

不吉祥的女人

Safer Parallelizationwledge hidden in existing code. A common parallelization approach is the use of standardized ., which allow making best use of parallel programming interfaces such as OpenMP. When such patterns cannot be implemented directly, it can be necessary to apply code transformations beforehand to suitably r

勉勵

Refactoring and Active Object Languagesshow how well-known OO refactorings such as Hide Delegate, Move Method, and Extract Class interact with a concurrency model that distinguishes between local and remote objects. Refactorings that are straightforward in Java suddenly force the developers to reflect on the underlying assumptions of the

Aboveboard

具體

Composition of Component Models - A Key to Construct Big Systems proper abstraction mechanisms for components are necessary. Furthermore, when composing many components, composition must be associative, i.e. for components . must hold: .. This paper suggests a general framework for such components and their composition. With examples of systems represented in di

amygdala

Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehiclesin order to ensure safety and efficiency. In this paper, after introducing the general issues associated to coordination of self-driving vehicles, we show that a key engineering issue is identifying the most suitable degree of autonomy in decision making that should be left to vehicles during the co

的染料