Verified system Hermitage