FMDEP 2013 - Workshop on Formal Methods for Dependable Computer-Based Systems

Organisers:
Jüri Vain, Tallinn University of Technology, Estonia
Leonidas Tsiopoulos, Åbo Akademi University, Finland
The complexity of current computer-based systems as well as their numerous applications increased the challenges for ensuring dependability. Cost pressure adds stringent constrains on the development and deployment of software controlling such systems. This often leads to poor software quality or even to the overall failure of delivering the adequate software. Moreover, the use of various emerging technologies implies solving new tasks such as the provision of reliable services over the unreliable infrastructures, ensuring the dependability of constantly evolving systems, etc. One of the appropriate approaches for modeling and verifying dependable computer-based systems is provided by formal methods. This workshop aims to gather research efforts on the application of formal methods for addressing current issues in ubiquitous computer systems.