Assertion: machine | /r/CapableOf | pass formalbytecode
Facets:
value: successfully
type: MANNER
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.