Now showing items 1-2 of 2
A model checker for Java bytecode, with novel applications
(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 ...
Combining logical and probabilistic reasoning in program analysis
(Georgia Institute of Technology, 2017-08-23)
Software is becoming increasingly pervasive and complex. These trends expose masses of users to unintended software failures and deliberate cyber-attacks. A widely adopted solution to enforce software quality is automated ...