Stasis, biological disturbance, and community structure of a Holocene coral reef
Disturbances have drastically altered Caribbean coral reefs over the past two decades.
Acropora cervicornis (staghorn coral), which predominated at intermediate depths (5—25 m) …
Acropora cervicornis (staghorn coral), which predominated at intermediate depths (5—25 m) …
The rodin platform has turned ten
L Voisin, JR Abrial - Abstract State Machines, Alloy, B, TLA, VDM, and Z …, 2014 - Springer
LNCS 8477 - The Rodin Platform Has Turned Ten Page 1 The Rodin Platform Has Turned Ten
Laurent Voisin1 and Jean-Raymond Abrial2 1 Systerel, Aix-en-Provence, France …
Laurent Voisin1 and Jean-Raymond Abrial2 1 Systerel, Aix-en-Provence, France …
A refinement development approach for enhancing the safety of PLC programs with Event-B
Abstract Programmable Logic Controllers (PLC) are widely used in Industrial Control
Systems (ICS) with strict safety assurance requirements. Unfortunately, traditional …
Systems (ICS) with strict safety assurance requirements. Unfortunately, traditional …
Evaluation measurement in conservation planning
P Nijkamp - Journal of Cultural Economics, 1991 - JSTOR
The recent history of conservation planning has clearly shown that the issue of development
and conservation is not only politically relevant, but also analytically interesting (see among …
and conservation is not only politically relevant, but also analytically interesting (see among …
A simulation framework for the validation of Event-B specifications
F Yang - 2013 - theses.hal.science
This thesis aims at the specification, verification and validation of safety-critical systems with
formal methods, in particular, with Event-B. We assessed the usability of Event-B by the …
formal methods, in particular, with Event-B. We assessed the usability of Event-B by the …
A survey on formal, object-oriented program development approaches
Due to the popularity of object-oriented programming approaches, there is a growing
interest in utilizing object-oriented concepts, such as encapsulation and reuse, when …
interest in utilizing object-oriented concepts, such as encapsulation and reuse, when …
An Event-B development process for the distributed BIP framework
B Siala, JP Bodeveix, M Filali, MT Bhiri - Implicit and Explicit Semantics …, 2020 - Springer
We present a refinement-based methodology to design correct by construction distributed
systems specified as Event-B models. Our approach makes explicit the transition from formal …
systems specified as Event-B models. Our approach makes explicit the transition from formal …
The use of rippling to automate Event-B invariant preservation proofs
Proof automation is a common bottleneck for industrial adoption of formal methods. In Event-
B, a significant proportion of proof obligations which require human interaction fall into a …
B, a significant proportion of proof obligations which require human interaction fall into a …
Formalizing goal-oriented development of resilient cyber-physical systems
I Pereverzeva, E Troubitsyna - Trustworthy Cyber-Physical …, 2016 - taylorfrancis.com
CONTENTS 6.1 Introduction 132 6.2 Goals and Architecture of Resilient CPS 1336.2. 1 Goal-
Oriented Development and Reconguration 133 6.2. 2 Generic Requirements for Goal …
Oriented Development and Reconguration 133 6.2. 2 Generic Requirements for Goal …
Invariant discovery and refinement plans for formal modelling in Event-B
MT Llano Rodriguez - 2013 - ros.hw.ac.uk
The continuous growth of complex systems makes the development of correct software
increasingly challenging. In order to address this challenge, formal methods o er rigorous …
increasingly challenging. In order to address this challenge, formal methods o er rigorous …