• A model checker for Java bytecode, with novel applications 

      Sahin, Burak (Georgia Institute of Technology, 2017-08-01)
      In this work, we have designed and developed an automated static program analysis tool which can check whether the given program satisfies the required safety properties for the Java bytecode. Using the combination of model ...