Mathematics in Formal Methods and Model Checking
A special issue of Mathematics (ISSN 2227-7390). This special issue belongs to the section "E1: Mathematics and Computer Science".
Deadline for manuscript submissions: 14 June 2026 | Viewed by 404
Special Issue Editor
Special Issue Information
Dear Colleagues,
This Special Issue collects high-quality original research papers on “Mathematics in Formal Methods and Model Checking”. It aims to bring together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software for the purpose of verification and validation. The Special Issue specifically focuses on the analysis of both concurrent and sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation.
The Special Issue also welcomes software analysis using any automated techniques, including model checking, automated theorem proving, and symbolic execution.
Topics of interest include, but are not limited to, the following:
Formal verification techniques for the automated analysis of (concurrent) software/hardware, including
- Model checking;
- Deductive verification;
- Automated theorem proving, including SAT and SMT;
- Abstraction and symbolic execution techniques;
- Static analysis and abstract interpretation;
- Modular and compositional verification techniques;
- Verification of timed and probabilistic systems;
- Automated testing using advanced analysis techniques;
- Program synthesis;
- Derivation of specifications, test cases etc. via formal analysis;
- Formal specification languages, temporal logic, design-by-contract;
- Implementation of novel verification tools;
- Benchmarks and comparative studies for verification tools.
Dr. Yehia Abd Alrahman
Guest Editor
Manuscript Submission Information
Manuscripts should be submitted online at www.mdpi.com by registering and logging in to this website. Once you are registered, click here to go to the submission form. Manuscripts can be submitted until the deadline. All submissions that pass pre-check are peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short communications are invited. For planned papers, a title and short abstract (about 250 words) can be sent to the Editorial Office for assessment.
Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are thoroughly refereed through a single-blind peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. Mathematics is an international peer-reviewed open access semimonthly journal published by MDPI.
Please visit the Instructions for Authors page before submitting a manuscript. The Article Processing Charge (APC) for publication in this open access journal is 2600 CHF (Swiss Francs). Submitted papers should be well formatted and use good English. Authors may use MDPI's English editing service prior to publication or during author revisions.
Keywords
- formal methods
- model checking
- automated reasoning
Benefits of Publishing in a Special Issue
- Ease of navigation: Grouping papers by topic helps scholars navigate broad scope journals more efficiently.
- Greater discoverability: Special Issues support the reach and impact of scientific research. Articles in Special Issues are more discoverable and cited more frequently.
- Expansion of research network: Special Issues facilitate connections among authors, fostering scientific collaborations.
- External promotion: Articles in Special Issues are often promoted through the journal's social media, increasing their visibility.
- Reprint: MDPI Books provides the opportunity to republish successful Special Issues in book format, both online and in print.
Further information on MDPI's Special Issue policies can be found here.
