General Verification Theories for Infinite-State Systems