Special Issue on Formal Methods

Formal methods are system design techniques that use rigorously specified mathematical models to build software and hardware systems. In contrast to other design systems, formal methods use mathematical proof as a complement to system testing in order to ensure correct behavior. As systems become more complicated, and safety becomes a more important issue, the formal approach to system design offers another level of insurance.

In this special issue, we intend to invite front-line researchers and authors to submit original research and review articles on exploring Formal Methods. Potential topics include, but are not limited to:

• Model checking
• Theorem proving
• SAT and SMT solving
• Symbolic execution
• Static analysis
• Model-based development
• Runtime verification
• Software and system testing
• Safety assurance
• Fault tolerance
• Compositional verification
• Security and intrusion detection
• Design for verification and correct-by-design techniques
• Techniques for scaling formal methods
• Applications and uses of formal methods

Authors should read over the journal’s For Authors carefully before submission. Prospective authors should submit an electronic copy of their complete manuscript through the journal’s Paper Submission System.

Please kindly specify the “Special Issue” under your manuscript title. The research field “Special Issue - Formal Methods” should be selected during your submission.

Special Issue Timetable:

Guest Editor:

For further questions or inquiries, please contact Editorial Assistant at

jsea@scirp.org.