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:
Submission Deadline
|
July 30th, 2016
|
Publication Date
|
September 2016
|
Guest
Editor:
For
further questions or inquiries, please contact Editorial Assistant at
jsea@scirp.org.