ARM supports AMBA family of protocols such as APB, AHB, AXI, ACE etc. VerifWorks has developed a comprehensive set of properties to verify a typical APB interface.
Here is a link to our APB AIP datasheet.
Contact us via support@verifworks.com for more details.