jMoped: A java bytecode checker based on moped

Lecture Notes in Computer Science

Volumn 3440, Issue , 2005, Pages 541-545

  Suwimonteerabuth, Dejvuth ^a   Schwoon, Stefan ^a   Esparza, Javier ^a  

^a UNIVERSITY OF STUTTGART   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); COMPUTER SCIENCE;

BYTECODE CHECKER; PUSHDOWN SYSTEMS;

JAVA PROGRAMMING LANGUAGE;

EID: 24644511802     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31980-1_35     Document Type: Conference Paper

References (4)

1. Schwoon, S.: Model-Checking Pushdown Systems. PhD thesis, TU Munich (2002)
2. Suwimonteerabuth, D.: Verifying Java bytecode with the Moped model checker. Master's thesis, University of Stuttgart (2004)
3. Vaziri, M., Jackson, D.: Checking properties of heap-manipulating procedures with a contraint solver. In: TACAS'03. LNCS 2619, Springer (2003) 505-520
4. Esparza, J., Schwoon, S.: A BDD-based model checker for recursive programs. In: Proc. CAV'01. LNCS 2102, Springer (2001) 324-336