Keyword:multi-property

Publications
Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman and Kristin Yvonne Rozier EasyChair Preprint 1429