Show simple item record

dc.contributor.advisorHarris, William
dc.contributor.authorSahin, Burak
dc.date.accessioned2017-08-17T18:59:49Z
dc.date.available2017-08-17T18:59:49Z
dc.date.created2017-08
dc.date.issued2017-08-01
dc.date.submittedAugust 2017
dc.identifier.urihttp://hdl.handle.net/1853/58686
dc.description.abstractIn 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 checker and symbolic execution with lazy abstraction, we have been successful to validate whether a program satisfies the given properties or not.
dc.format.mimetypeapplication/pdf
dc.language.isoen_US
dc.publisherGeorgia Institute of Technology
dc.subjectProgram analysis
dc.subjectProgram verification
dc.subjectModel checking
dc.subjectFormal methods
dc.subjectInterpolation
dc.titleA model checker for Java bytecode, with novel applications
dc.typeThesis
dc.description.degreeM.S.
dc.contributor.departmentComputer Science
thesis.degree.levelMasters
dc.contributor.committeeMemberOrso, Alessandro
dc.contributor.committeeMemberEsmaeilzadeh, Hadi
dc.date.updated2017-08-17T18:59:49Z


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record