Formal Verification is one of the crucial methods to detect possible weaknesses and
vulnerabilities at an early stage. This paper reviews formal methods for an extensive variety …

The Internet of Things (IoT) invention has taken the growth of sensors technology to a
completely high step. New challenges in terms of data delivery have emerged due to strict …

Many of today's critical infrastructures, including industrial control systems (ICS), are
evolving with the integration of numerous connected cyber components with legacy systems …

Smart Grids (SGs) represent electrical power systems that incorporate increased information
processing and efficient technological solutions. The integration of local prosumers, demand …

Purpose The chemical plant (CP) maintenance industry has been under increasing pressure
by process designers to demonstrate its evaluation and information management of model …

The digitalisation of finance influenced the emergence of new technological concepts for
existing user needs. Financial technology, or fintech, provides improved services for …

Software development for robotic systems is traditionally performed based on simulations,
manual code implementation, and testing. However, this software development approach …

Cyber-physical systems (CPS) that exhibit stochastic behaviours and uncertainties can be
modelled in various formalisms, that can be analysed and validated by model-checking …

Many of today's critical infrastructures, including Industrial Control Systems (ICSs), are
evolving with the integration of numerous connected cyber components with legacy systems …

硬件木马对原始电路的恶意篡改, 已成为集成电路面临的核心安全威胁. 为了保障集成电路的
安全可信, 研究人员提出了诸多硬件木马检测方法. 其中, 模型检测作为一种形式化验证方法 …