Materials about analytical verification of software