Scalable Verification of Designs with Multiple Properties

dc.contributor.author Dureja, Rohit
dc.contributor.author Rozier, Kristin Yvonne
dc.contributor.author Rozier, Kristin Yvonne
dc.contributor.department Aerospace Engineering
dc.contributor.department Computer Science
dc.contributor.department Electrical and Computer Engineering
dc.date 2019-09-23T04:08:27.000
dc.date.accessioned 2020-06-29T22:45:39Z
dc.date.available 2020-06-29T22:45:39Z
dc.date.copyright Tue Jan 01 00:00:00 UTC 2019
dc.date.issued 2019-01-01
dc.description.abstract <p>Many industrial verification tasks entail checking a large number of properties on the same design. Formal verification techniques, such as model checking, can verify multiple properties concurrently, or sequentially one-at-a-time. State-of-the- art verification tools do not optimally exploit subproblem sharing between properties, leaving an opportunity to save considerable verification resources. A significant need therefore exists to develop efficient and scalable techniques that intelligently check multiple properties by utilizing implicit inter-property logical dependencies and subproblem sharing, and improve tool orchestration. We report on our investigation of the multiproperty model checking problem, and discuss research results, and highlight future research directions.</p>
dc.description.comments <p>This is a pre-print of the article Dureja, Rohit, and Kristin Yvonne Rozier. "Scalable Verification of Designs with Multiple Properties." EasyChair (2019): 1411. Posted with permission.</p>
dc.format.mimetype application/pdf
dc.identifier archive/lib.dr.iastate.edu/aere_pubs/152/
dc.identifier.articleid 1152
dc.identifier.contextkey 15320868
dc.identifier.s3bucket isulib-bepress-aws-west
dc.identifier.submissionpath aere_pubs/152
dc.identifier.uri https://dr.lib.iastate.edu/handle/20.500.12876/1999
dc.language.iso en
dc.source.bitstream archive/lib.dr.iastate.edu/aere_pubs/152/2019_RozierKristen_ScalableVerification.pdf|||Fri Jan 14 20:37:26 UTC 2022
dc.subject.disciplines Aerospace Engineering
dc.subject.disciplines Computer Sciences
dc.subject.disciplines Electrical and Computer Engineering
dc.subject.keywords Clustering
dc.subject.keywords design space
dc.subject.keywords formal verification
dc.subject.keywords incremental verification
dc.subject.keywords model checking
dc.subject.keywords Multiple Properties
dc.title Scalable Verification of Designs with Multiple Properties
dc.type article
dc.type.genre article
dspace.entity.type Publication
relation.isAuthorOfPublication 3c555e5b-8fd1-4c38-98c6-6a2449fab7cf
relation.isOrgUnitOfPublication 047b23ca-7bd7-4194-b084-c4181d33d95d
relation.isOrgUnitOfPublication f7be4eb9-d1d0-4081-859b-b15cee251456
relation.isOrgUnitOfPublication a75a044c-d11e-44cd-af4f-dab1d83339ff
File
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
2019_RozierKristen_ScalableVerification.pdf
Size:
209.6 KB
Format:
Adobe Portable Document Format
Description:
Collections