Verifying time, memory and communication bounds in systems of reasoning agents