jMoped 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 Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year jMoped: A Java bytecode checker based on Moped. Zbl 1087.68556Suwimonteerabuth, Dejvuth; Schwoon, Stefan; Esparza, Javier 2005 all top 5 Cited by 21 Authors 5 Esparza, Javier 3 Schwoon, Stefan 2 Bouajjani, Ahmed 2 Kiefer, Stefan 2 Srba, Jiří 1 Alur, Rajeev 1 Chatterjee, Krishnendu 1 Jensen, Peter Gjøl 1 Konggaard Schou, Morten 1 Kragl, Bernhard 1 Kühnrich, Morten 1 Lal, Akash 1 Lang, Martin 1 Löding, Christof 1 Mishra, Samarth 1 Pavlogiannis, Andreas 1 Reps, Thomas W. 1 Schmid, Stefan 1 Suwimonteerabuth, Dejvuth 1 van Duijn, Ingo 1 Vanerio, Juan Cited in 3 Serials 1 Formal Methods in System Design 1 Journal of Satisfiability, Boolean Modeling and Computation 1 Logical Methods in Computer Science Cited in 2 Fields 10 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year