Assertion: boogie | /r/CapableOf | abstract over interface
Facets:
value: to various theorem provers
type: TRANSITIVE-OBJECT
Source sentences:
text: It serves as a common intermediate representation for static program verifiers of various source languages, and it abstracts over the interfaces to various theorem provers.