1 paper
Rafael Menezes, Daniel Moura, Helena Cavalcante +2
In this work, we describe and evaluate the first model checker for verifying Kotlin programs through the Jimple intermediate representation. The verifier, named ESBMC-Jimple, is bu…