swMATH ID: 1486
Software Authors: Suwimonteerabuth, Dejvuth; Schwoon, Stefan; Esparza, Javier
Description: 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.
Homepage: http://www7.in.tum.de/um/bibdb/suwimont/jmoped-cav07.pdf
Related Software: Bebop; SPIN; SLAM; Moped; MOPED; WALi; NetKAT; DDVerify; MAGIC; BEEM; MOPS
Cited in: 10 Publications

Citations by Year