Java Bytecode Verification by Model Checking.

David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt

Browse the full CAV paper archive.