Topic: Advancements in Formal Methods for System Development

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

31 Dec 2024