Specification and Dynamic Verification of Agent Properties