jMoped: A Java bytecode checker based on Moped. We present a tool for finding errors in Java programs that translates Java bytecodes into symbolic pushdown systems, which are then checked by the Moped tool.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element