Campus Units
Aerospace Engineering, Computer Science, Electrical and Computer Engineering
Document Type
Article
Publication Date
2019
Journal or Book Title
EasyChair
First Page
1411
Abstract
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.
Copyright Owner
The Authors
Copyright Date
2019
Language
en
File Format
application/pdf
Recommended Citation
Dureja, Rohit and Rozier, Kristin Yvonne, "Scalable Verification of Designs with Multiple Properties" (2019). Aerospace Engineering Publications. 152.
https://lib.dr.iastate.edu/aere_pubs/152
Included in
Aerospace Engineering Commons, Computer Sciences Commons, Electrical and Computer Engineering Commons
Comments
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.