Show simple item record

dc.contributor.advisorKhurshid, Sarfraz
dc.creatorChockalingam, Lavanya
dc.date.accessioned2017-06-01T15:59:17Z
dc.date.available2017-06-01T15:59:17Z
dc.date.issued2007-12
dc.identifierdoi:10.15781/T2Q23R555
dc.identifier.urihttp://hdl.handle.net/2152/47095
dc.description.abstractWith the growing popularity of analyzable declarative modeling languages, in general, and Alloy, in particular, it is imperative to develop new techniques that allow the underlying SAT solvers to scale to real systems. Slicing for declarative models is a novel technique that enables efficient analyses using constraint prioritization. Given a declarative model, the slicing algorithm identifies a slice which represents the model's base constraints. For the identification of base relations we have used three techniques: partial ordering, candidate set generation and heuristic evaluation. A satisfying solution to the extracted base slice is then systematically extended to generate a solution for the entire model, while unsatisfiability of the base implies unsatisfiability of the entire model. The experimental results show that it is possible to achieve significant improvements in the solving time using slicing and by generating candidate set it is possible to find the base set that improves the performance of the slicing algorithm significantly.en_US
dc.format.mediumelectronicen_US
dc.language.isoengen_US
dc.relation.ispartofUT Electronic Theses and Dissertationsen_US
dc.rightsCopyright © is held by the author. Presentation of this material on the Libraries' web site by University Libraries, The University of Texas at Austin was made possible under a limited license grant from the author who has retained all copyrights in the works.en_US
dc.subjectAnalyzable declarative modeling languagesen_US
dc.subjectSlicing algorithmen_US
dc.subjectCandidate set generationen_US
dc.titleSlicing for declarative modelsen_US
dc.typeThesisen_US
dc.description.departmentElectrical and Computer Engineeringen_US
dc.type.genreThesisen_US
thesis.degree.departmentElectrical and Computer Engineeringen_US
thesis.degree.disciplineElectrical and Computer Engineeringen_US
thesis.degree.grantorUniversity of Texas at Austinen_US
thesis.degree.levelMastersen_US
thesis.degree.nameMaster of Scienceen_US
dc.rights.restrictionRestricteden_US


Files in this item

Icon

This item appears in the following Collection(s)

Show simple item record