Assertion: machine | /r/HasProperty | materialized by tool
Facets:
Source sentences:
text: It assumes the code is "semantically" correct, that is, it successfully passed the (formal) bytecode verifier process, materialized by a tool, possibly off-board the virtual machine.