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 Editors
Prof. Shaoying Liu
Graduate School of Advanced Science and Engineering, Hiroshima University, Higashi Hiroshima, Japan.
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.
This special issue is in collaboration with the 1st International Symposium on Software Fault Prevention, Verification, and Validation (SFPVV 2024) and serves as the official recommended publication for submissions from the symposium.
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.
This special issue is in collaboration with the 1st International Symposium on Software Fault Prevention, Verification, and Validation (SFPVV 2024) and serves as the official recommended publication for submissions from the symposium.
Keywords
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://www.oaecenter.com/login?JournalId=comengsys&IssueId=comengsys2412311975
Submission Deadline: 31 Dec 2024
Contacts: Lyric Zhang, Assistant Editor, Lyric@oaeservice.com
Published Articles
Coming soon