Publication:
Qed: a proof system based on reduction and abstraction for the static verification of concurrent software

Simple item page
dc.contributor.departmentGraduate School of Sciences and Engineering
dc.contributor.kuauthorElmas, Tayfun
dc.contributor.schoolcollegeinstituteGRADUATE SCHOOL OF SCIENCES AND ENGINEERING
dc.date.accessioned2024-11-09T22:58:02Z
dc.date.issued2010
dc.description.abstractWe present a proof system and supporting tool, QED, for the static verification of concurrent software. Our key idea is to simplify the verification of a program by rewriting it with larger atomic actions. We demonstrated the simplicity and effectiveness of our approach on benchmarks with intricate synchronization. © 2010 ACM.
dc.description.indexedbyScopus
dc.description.openaccessYES
dc.description.publisherscopeInternational
dc.description.sponsoredbyTubitakEuN/A
dc.description.sponsorshipAssociation for Computing Machinery (ACM)
dc.description.sponsorshipIEEE Computer Society
dc.description.sponsorshipTechnical Council on Software Engineering (tcse)
dc.description.sponsorshipSIGSOFT
dc.description.sponsorshipComputer Society - South Africa
dc.description.volume2
dc.identifier.doi10.1145/1810295.1810454
dc.identifier.isbn9781-6055-8719-6
dc.identifier.issn0270-5257
dc.identifier.quartileN/A
dc.identifier.scopus2-s2.0-77954746890
dc.identifier.urihttps://doi.org/10.1145/1810295.1810454
dc.identifier.urihttps://hdl.handle.net/20.500.14288/7657
dc.keywordsAbstraction
dc.keywordsAtomicity
dc.keywordsConcurrent programs
dc.keywordsReduction abstraction
dc.keywordsAtomic actions
dc.keywordsConcurrent program
dc.keywordsConcurrent software
dc.keywordsProof system
dc.keywordsStatic verification
dc.keywordsSupporting tool
dc.keywordsAbstracting
dc.keywordsComputer system firewalls
dc.keywordsVerification
dc.keywordsComputer software selection and evaluation
dc.language.isoeng
dc.publisherInstitute of Electrical and Electronics Engineers (IEEE)
dc.relation.ispartofProceedings - International Conference on Software Engineering
dc.subjectComputer engineering
dc.titleQed: a proof system based on reduction and abstraction for the static verification of concurrent software
dc.typeConference Proceeding
dspace.entity.typePublication
local.contributor.kuauthorElmas, Tayfun
local.publication.orgunit1GRADUATE SCHOOL OF SCIENCES AND ENGINEERING
local.publication.orgunit2Graduate School of Sciences and Engineering
relation.isOrgUnitOfPublication3fc31c89-e803-4eb1-af6b-6258bc42c3d8
relation.isOrgUnitOfPublication.latestForDiscovery3fc31c89-e803-4eb1-af6b-6258bc42c3d8
relation.isParentOrgUnitOfPublication434c9663-2b11-4e66-9399-c863e2ebae43
relation.isParentOrgUnitOfPublication.latestForDiscovery434c9663-2b11-4e66-9399-c863e2ebae43

Files

Collections

Publications without Fulltext