Login / Signup

ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation.

Rafael MenezesDaniel MouraHelena CavalcanteRosiane de FreitasLucas C. Cordeiro
Published in: ISSTA (2022)
Keyphrases
  • intermediate representation
  • intermediate level
  • low level
  • object models
  • control structure
  • search engine
  • computer vision
  • multi class
  • model checking
  • intermediate representations