Login / Signup

ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation.

Rafael MenezesDaniel MouraHelena CavalcanteRosiane de FreitasLucas C. Cordeiro
Published in: CoRR (2022)
Keyphrases
  • intermediate representation
  • intermediate level
  • low level
  • control structure
  • object models
  • data sets
  • databases
  • decision trees
  • feature vectors
  • fine grained
  • model checking
  • tightly coupled
  • java bytecode