Architecture validation system using assertion descriptions : users manual Charles P. Kollar 10.1184/R1/6603632.v1 https://kilthub.cmu.edu/articles/journal_contribution/Architecture_validation_system_using_assertion_descriptions_users_manual/6603632 Computer Science Department 2013-02-14 00:00:00 Computer architecture. Computer programs Verification.