Titlebook: Integrated Formal Methods; 14th International C Carlo A. Furia,Kirsten Winter Conference proceedings 2018 Springer Nature Switzerland AG 20

替代品

Robotics and Integrated Formal Methods: Necessity Meets Opportunity,eal catalyst for the advancement of integrated formal methods research, helping to drive the field in new and exciting directions and shedding light on the development of large-scale, dynamic, complex systems.

整潔

QUAIL

Modelling and Verification for Swarm Robotics,hese novel constructs, we apply RoboChart to model a simple yet powerful and widely used algorithm to maintain the aggregation of a swarm. Our constructs can be useful also in the context of other diagrammatic languages, including UML, to describe collections of arbitrary interacting entities.

斜

Formal Modelling of Software Defined Networking,g a methodology for agile formal modelling of performance and security aspects of SDN, and focusses on the fat-tree network topology. The results demonstrate that the . language and its software tools which include the MultiVeStA statistical model checker provide a good basis for modelling SDN.

無(wú)能性

Soliloquy

Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks,l attacks targeting sensor devices of . formalised in a simple extension of Hennessy and Regan’s .. Our . relies on a discrete-time generalisation of Desharnais et al.’s . for concurrent systems. We show the adequacy of our definition on two different attacks on a simple surveillance system.

過于平凡

慢慢沖刷

破裂

Reservation

On the Industrial Uptake of Formal Methods in the Railway Domain,he industrial usage and needs related to formal tools in railways is limited. As a first step to address this, we present the results of a questionnaire submitted to 44 stakeholders with experience in the application of formal tools in railways. The questionnaire was oriented to gather information a