Special Issue

Topic: Advancements in Formal Methods for System Development

A Special Issue of Complex Engineering Systems

ISSN 2770-6249 (Online)

Submission deadline: 31 Dec 2024

Guest Editor(s)

Prof. Shaoying Liu
Graduate School of Advanced Science and Engineering, Hiroshima University, Higashi Hiroshima, Japan.
Prof. Ai Liu
College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China.

Special Issue Introduction

Formal methods provide a formal and precise framework for specifying, modeling, simulating, and validating system behavior, ensuring that the system meets its requirements and satisfies certain properties such as safety, reliability, and security. These approaches have been widely used in critical systems, spanning industries such as aerospace, nuclear power, medical devices, and financial systems, where the consequences of system failures can be severe. Using formal methods, engineers can gain a deeper understanding of system behavior, identify potential issues early in development, and reduce the risk of system failures.

In this Special Issue, we aim to cover a selection of theoretical and experimental research that advances the application of formal methods for system development. Topics to be covered include, but are not limited to:
● Formal specification;
● Formal verification;
● Specification-based testing;
● Fault detection;
● Theorem proving;
● Program analysis;
● Reliability engineering;
● Model checking;
● Coalgebra models;
● Hybrid systems.


Formal specification, software reliability, system development, testing, verification, theorem proving, program analysis

Submission Deadline

31 Dec 2024

Submission Information

For Author Instructions, please refer to https://www.oaepublish.com/comengsys/author_instructions

For Online Submission, please login at https://oaemesas.com/login?JournalId=comengsys&SpecialIssueId=ces240318

Submission Deadline: 31 Dec 2024

Contacts: Lyric Zhang, Assistant Editor, Lyric@oaeservice.com

Published Articles

Coming soon
Complex Engineering Systems
ISSN 2770-6249 (Online)


All published articles are preserved here permanently:



All published articles are preserved here permanently: