{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/106224"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/106224","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Rewriting-based symbolic methods for distributed system verification","abstract":"As computer system complexity increases, new methods and logics are needed to scale up to the complexity of practical systems without sacrificing logical precision and ease of specification. To that end, the goal of this research project is to develop rewriting-based symbolic analysis methods that (1) can analyze systems which need an unbounded amount of time and/or space (2) may be highly distributed (3) use modular specification techniques so that work is never wasted (4) are generic across a possibly infinite number of domain theories. Towards this goal, we present our research on theory-generic satisfiability and rewrite-theory-generic specification and analysis methods, discuss prototype implementations, and consider future directions.","abstract_html":"As computer system complexity increases, new methods and logics are needed to scale up to the complexity of practical systems without sacrificing logical precision and ease of specification. To that end, the goal of this research project is to develop rewriting-based symbolic analysis methods that (1) can analyze systems which need an unbounded amount of time and/or space (2) may be highly distributed (3) use modular specification techniques so that work is never wasted (4) are generic across a possibly infinite number of domain theories. Towards this goal, we present our research on theory-generic satisfiability and rewrite-theory-generic specification and analysis methods, discuss prototype implementations, and consider future directions.","abstract_has_math":false,"creators":["Skeirik, Stephen"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":["Meseguer, José","Agha, Gul","Roșu, Grigore","Ölveczky, Peter"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2020,"date_issued":"2020-03-02T21:58:18Z","date_published":"2020-03-02T21:58:18Z","updated_at":"2026-07-22T22:24:45Z","subjects":["rewriting logic","verification","reachability logic"],"languages":["en"],"rights":["Copyright 2019 Stephen Skeirik"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/2142/106224","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Meseguer, José","Agha, Gul","Roșu, Grigore","Ölveczky, Peter"]},{"key":"dc:creator","label":"Author","values":["Skeirik, Stephen"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2020-03-02T21:58:18Z","2019-12-01","2019-12"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["rewriting logic","verification","reachability logic"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 2019 Stephen Skeirik"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/106224"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["As computer system complexity increases, new methods and logics are needed to scale up to the complexity of practical systems without sacrificing logical precision and ease of specification. To that end, the goal of this research project is to develop rewriting-based symbolic analysis methods that (1) can analyze systems which need an unbounded amount of time and/or space (2) may be highly distributed (3) use modular specification techniques so that work is never wasted (4) are generic across a possibly infinite number of domain theories. Towards this goal, we present our research on theory-generic satisfiability and rewrite-theory-generic specification and analysis methods, discuss prototype implementations, and consider future directions.","Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2020-02-28 without embargo terms","The student, Stephen Skeirik, accepted the attached license on 2019-11-26 at 19:37.","The student, Stephen Skeirik, submitted this Dissertation for approval on 2019-11-26 at 19:48.","This Dissertation was approved for publication on 2019-12-01 at 10:31.","DSpace SAF Submission Ingestion Package generated from Vireo submission #14625 on 2020-02-28 at 17:14:31","Made available in DSpace on 2020-03-02T21:58:18Z (GMT). No. of bitstreams: 2 SKEIRIK-DISSERTATION-2019.pdf: 1790682 bytes, checksum: f4b0cf8563463bea084d2b8f6045d3a6 (MD5) LICENSE.txt: 4212 bytes, checksum: abb31492d1c8c1408c243ccad0f9a83a (MD5) Previous issue date: 2019-12-01"]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Rewriting-based symbolic methods for distributed system verification"]}]}],"canonical_facts":{"dc:contributor":["Meseguer, José","Agha, Gul","Roșu, Grigore","Ölveczky, Peter"],"dc:creator":["Skeirik, Stephen"],"dc:date":["2020-03-02T21:58:18Z","2019-12-01","2019-12"],"dc:description":["As computer system complexity increases, new methods and logics are needed to scale up to the complexity of practical systems without sacrificing logical precision and ease of specification. To that end, the goal of this research project is to develop rewriting-based symbolic analysis methods that (1) can analyze systems which need an unbounded amount of time and/or space (2) may be highly distributed (3) use modular specification techniques so that work is never wasted (4) are generic across a possibly infinite number of domain theories. Towards this goal, we present our research on theory-generic satisfiability and rewrite-theory-generic specification and analysis methods, discuss prototype implementations, and consider future directions.","Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2020-02-28 without embargo terms","The student, Stephen Skeirik, accepted the attached license on 2019-11-26 at 19:37.","The student, Stephen Skeirik, submitted this Dissertation for approval on 2019-11-26 at 19:48.","This Dissertation was approved for publication on 2019-12-01 at 10:31.","DSpace SAF Submission Ingestion Package generated from Vireo submission #14625 on 2020-02-28 at 17:14:31","Made available in DSpace on 2020-03-02T21:58:18Z (GMT). No. of bitstreams: 2 SKEIRIK-DISSERTATION-2019.pdf: 1790682 bytes, checksum: f4b0cf8563463bea084d2b8f6045d3a6 (MD5) LICENSE.txt: 4212 bytes, checksum: abb31492d1c8c1408c243ccad0f9a83a (MD5) Previous issue date: 2019-12-01"],"dc:format":["application/pdf"],"dc:identifier":["http://hdl.handle.net/2142/106224"],"dc:language":["en"],"dc:rights":["Copyright 2019 Stephen Skeirik"],"dc:subject":["rewriting logic","verification","reachability logic"],"dc:title":["Rewriting-based symbolic methods for distributed system verification"],"dc:type":["text"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:24:45Z"}