We will present the following research results of our project in ABZ 2025.

• Peter Riviere, Duong Dinh Tran, Takashi Tomita and Toshiaki Aoki: A reasoning and explicit algebraic theory for BBSL in Event-B: EB4BBSL framework.
• Duong Dinh Tran, Akira Hasegawa, Peter Riviere, Takashi Tomita and Toshiaki Aoki: Enhancing Decision-making Safety in Autonomous Driving Through Online Model Checking.