Assertion: boogie | /r/HasProperty | intended as layer
Facets:
Source sentences:
text: Boogie is an intermediate verification language (IVL), intended as a layer on which to build program verifiers for other languages.
text: Boogie is an intermediate verification language, intended as a layer on which to build program verifiers for other languages.
text: Boogie is an intermediate verification language (IVL), intended as a layer on which to build program verifiers for other languages.