Formal Verification of Industrial Critical Systems
A special issue of Applied Sciences (ISSN 2076-3417). This special issue belongs to the section "Computing and Artificial Intelligence".
Deadline for manuscript submissions: closed (10 October 2021) | Viewed by 358
Special Issue Editor
Special Issue Information
Dear Colleagues,
The increasing growth of automation in many practical industrial and civil fields (e.g., smart manufacturing, smart hospitals, smart economy, aeronautics, and fintech) requires the design and deployment of systems that behave safely and are efficient, reliable, and resilient to unforeseen situations. Formal verification can support the design of such systems to study and guarantee resilience, reliability, and safety besides efficiency. This Special Issue will review the latest research progress in the application of Formal Verification in Industrial Critical Systems, to promote the sharing of experiences in the industrial usage of such methods, and to promote research and development for pushing formal verification methodologies and tools for industrial applications. We encourage submissions of conceptual, empirical, experience, and literature review papers focusing on this field.
Dr. Marco Roveri
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 100 words) can be sent to the Editorial Office for announcement on this website.
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. Applied Sciences 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 2400 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
- verification
- modeling
- specification
- safety
- model checking
- satisfiability modulo theory
- technology transfer
- software engineering
- software tools
- survey
