DISTRIBUTED SYSTEMS RESEARCH GROUP Automated Verification of Software thesis progress report Ondřej Šerý Advisor: František Plášil.