Verification of SpecC using Predicate Abstraction
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Published: |
2007
|
| _version_ | 1826275578774290432 |
|---|---|
| author | Clarke, E Jain, H Kroening, D |
| author_facet | Clarke, E Jain, H Kroening, D |
| author_sort | Clarke, E |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T23:00:52Z |
| format | Journal article |
| id | oxford-uuid:620f624b-98bf-4e95-980d-0067268f081b |
| institution | University of Oxford |
| last_indexed | 2024-03-06T23:00:52Z |
| publishDate | 2007 |
| record_format | dspace |
| spelling | oxford-uuid:620f624b-98bf-4e95-980d-0067268f081b2022-03-26T18:03:55ZVerification of SpecC using Predicate AbstractionJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:620f624b-98bf-4e95-980d-0067268f081bDepartment of Computer Science2007Clarke, EJain, HKroening, D |
| spellingShingle | Clarke, E Jain, H Kroening, D Verification of SpecC using Predicate Abstraction |
| title | Verification of SpecC using Predicate Abstraction |
| title_full | Verification of SpecC using Predicate Abstraction |
| title_fullStr | Verification of SpecC using Predicate Abstraction |
| title_full_unstemmed | Verification of SpecC using Predicate Abstraction |
| title_short | Verification of SpecC using Predicate Abstraction |
| title_sort | verification of specc using predicate abstraction |
| work_keys_str_mv | AT clarkee verificationofspeccusingpredicateabstraction AT jainh verificationofspeccusingpredicateabstraction AT kroeningd verificationofspeccusingpredicateabstraction |