Logic List Mailing Archive

CfP special issue of STTT on formal methods, Deadline: 1 Mar 2017

**************************************************************************

SPECIAL ISSUE
Formal Methods and Automated Verification of Critical Systems

International Journal on Software Tools for Technology Transfer (STTT)
http://www.springer.com/computer/swe/journal/10009/PS2

**************************************************************************


Submission deadline: March 1, 2017


This is an open call for papers for a special issue of the International
Journal on Software Tools for Technology Transfer (STTT) dedicated to
the topics of the FMICS workshop series on Formal Methods for Industrial
Critical Systems and the AVoCS workshop series on Automated Verification
of Critical Systems.

The FMICS workshop series provides a forum for researchers interested in
the development and application of formal methods in industry, while the
AVoCS workshop series contributes to the interaction and exchange of
ideas among members of the international research community on tools and
techniques for the verification of critical systems.

The special issue welcomes research papers containing novel, previously
unpublished results in all areas related to FMICS and AVoCS, including:
* Design, specification, refinement, code generation and testing of
critical systems based on formal methods
* Methods, techniques and tools to support automated analysis,
certification, debugging, learning, optimization and transformation of
critical systems, in particular distributed, real-time systems and
embedded systems
* Automated verification (model checking, theorem proving, SAT/SMT
constraint solving, abstract interpretation, etc.) of critical systems
* Verification and validation methods that address shortcomings of
existing methods with respect to their industrial applicability (e.g.,
scalability and usability issues)
* Tools for the development of formal design descriptions
* Case studies and experience reports on industrial applications of
formal methods, focusing on lessons learned or identification of new
research directions
* Impact of the adoption of formal methods on the development process
and associated costs
* Application of formal methods in standardization and industrial forums


We encourage presenters and attendees of FMICS-AVoCS 2016 to submit an
extended version (at least 30% new material) of their paper to this
special issue. We also very much welcome papers from authors who did
not attend. If your paper is based on a previously published paper,
please explain how you extend the previous publication and describe
explicitly the new research contribution added to the STTT submission.

The issue is planned to appear during fall 2017. For the editorial
policy, instructions to authors, and further details, please consult
the author guidelines of STTT.


Guest Editors:
* Maurice H. ter Beek, ISTI-CNR, Pisa, Italy
* Stefania Gnesi, ISTI-CNR, Pisa, Italy
* Alexander Knapp, Universität Augsburg, Germany

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam