Architecting the Future of Software Engineering Page 1 COMPUTER 0018-9162/22©2022IEEE
PUBLISHED BY THE IEEE COMPUTER SOCIETY SEPTEMBER 2022 89 C O PY R IG H T IS TO …

This paper presents a new Beagle framework for Smart Contracts (SCs) taking account of
law. Different from previous SC development or execution frameworks, this framework takes …

An independent safety assessment of railway software systems is performed by RATP
(Régie Autonome des Transports Parisiens) for all safety-critical systems before their …

This paper presents a formal development process for safety-critical embedded Human-
Machine Interface (HMI) systems. This formal approach is centered on the LIDL formal …

We demonstrate the power of the simulation-based invariant verification technique through
two case studies in which it is formally verified that two mutual exclusion protocols, MCS …

Today, we are surrounded by digital technologies and highly complex systems, where safety-
critical cyber-physical systems have taken central place in our lives and in various industrial …

The design of complex systems involves several design models supporting different analysis
techniques for validation and verification purposes. These activities lead to the definition of …

The paper proposes a new testing technique for concurrent programs. The technique is a
specification-based testing. For a formal specification S and a concurrent program P, state …

JAIST Repository Page 1 Japan Advanced Institute of Science and Technology JAIST
Repository https://dspace.jaist.ac.jp/ Title 形式検証ツールの並列化 Author(s) DO, MINH …

As cyber vulnerability and complexity increases, cyber attacks become highly sophisticated
and inevitable. Therefore, cyber resilience is necessary to make cyber capable of …