Foreword
It is our pleasure to offer you the selection of papers for the 2nd International Work- shop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specifi- cation and Verification (SMSV 2013) which has been co-located with the 9-th Inter- national Conference on ICT in Education, Research, and Industrial Applications:
Integration, Harmonization, and Knowledge Transfer (ICTERI 2013) held at Kherson, Ukraine on June 19-22, 2013.
Workshop SMSV 2013 is a successor of the International Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verifica- tion (SMSV 2012) which was held in Kherson (Ukraine) on June, 6-12, 2012. The SMSV 2013 was organized by Kherson State University, Taras Shevchenko National University of Kyiv, and Paul Sabatier University of Toulouse within the framework of the cooperation agreement between the universities. The workshop attracted scientists from Austria, France, Algeria, Russia, and Ukraine.
Presented papers demonstrated the interest in the topics on different formal meth- ods of system development, and we plan to organize such workshops on a regular basis. We hope that presentations and discussions will help to identify topics of mu- tual interest that can be considered as a base of project proposals to be submitted to international scientific programs.
June, 2013 Vladimir Peschanenko
Mykola Nikitchenko
Martin Strecker
