It is our pleasure to offer you the selection of papers for the 2nd International Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV 2013) which has been co-located with the 9-th International 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 Verification (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 methods 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 mutual interest that can be considered as a base of project proposals to be submitted to international scientific programs.