Assertion: boogie | /r/ObjectUse | used as shared input and output format
Facets:
Source sentences:
text: Boogie can also be used as a shared input and output format for techniques like abstract interpretation and predicate abstraction.