Práce popisuje systém zdrojů - nástroj pro paralelní programování, který pomáhá zajistit správnost vytvářeného programu. Systém zdrojů je programátorský nástroj, který slouží ke správě sdílených proměnných a zaručuje správný přístup k nim. Systém zajišťuje, že při nesprávném použití je při kompilaci kódu ohlášena chyba. V práci je proveden důkaz správnosti systému pomocí programové logiky a jsou diskutovány další možnosti rozšíření funkcionalit systému.The thesis describes a system of resources - a tool of parallel programming, which helps to ensure the correctness of the created program. The system of resources is a programmer toolkit that is used to manage shared variables and guarantees the right approach to them. The system ensures that the improper use will cause an error during compilation. The thesis prooves the correctness of the system exploiting program logic and possibilities of further extension of the functionality of the system are discussed.