Titlebook: Rigorous State-Based Methods; 7th International Co Alexander Raschke,Dominique Méry,Frank Houdek Conference proceedings 2020 Springer Natur

Banquet

Modelling Hybrid Programs with Event-Be major limitation of such logic is that it is not supported by any prover. In this paper, we propose a correct-by-construction approach that implements the reasoning on hybrid programs particularly the reasoning of dR. in Event-B to take advantage of its associated tools.

Heresy

Admire

Gerhard Schellhorn,Stefan Bodenmüller,Jörg Pfähler,Wolfgang Reif

责问

Nuno Macedo,Alcino Cunha,José Pereira,Renato Carvalho,Ricardo Silva,Ana C. R. Paiva,Miguel Sozinho R

Fretful

倒转

Guillaume Dupont,Yamine Aït-Ameur,Marc Pantel,Neeraj K. Singh

脱落

Fatima Shokri-Manninen,Leonidas Tsiopoulos,Jüri Vain,Marina Waldén

heterogeneous

Paulius Stankaitis,Alexei Iliasov,Tsutomu Kobayashi,Yamine Aït-Ameur,Fuyuki Ishikawa,Alexander Roman

外观

Programming the CLEARSY Safety Platform with Bevel 4 (SIL4). It relies on the smart integration of the B formal method, redundant code generation and compilation, and a hardware platform that ensures a safe execution of the software. This paper exposes the programming model of the CSSP used to develop control & command applications based on digital I/Os.

有害