Matches in SemOpenAlex for { <https://semopenalex.org/work/W4256255341> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W4256255341 abstract "We present a coverage analysis that can be used in property-based verification. The analysis helps identifying forgotten cases; scenarios where the property list under analysis does not constrain a certain output at a certain point in time. These scenarios can then be manually investigated, possibly leading to new, previously forgotten properties being added. As there often exist cases in which outputs are not supposed to be specified, we also provide means for the specificier to annotate properties in order to control what cases are supposed to be underconstrained. Two main differences with earlier proposed similar analyses exist: The presented analysis is design-independent, and it makes an explicit distinction between intentionally and unintentionally underspecified behavior." @default.
- W4256255341 created "2022-05-12" @default.
- W4256255341 creator A5058771102 @default.
- W4256255341 date "2007-11-01" @default.
- W4256255341 modified "2023-09-27" @default.
- W4256255341 title "A Coverage Analysis for Safety Property Lists" @default.
- W4256255341 doi "https://doi.org/10.1109/fmcad.2007.4401992" @default.
- W4256255341 hasPublicationYear "2007" @default.
- W4256255341 type Work @default.
- W4256255341 citedByCount "3" @default.
- W4256255341 countsByYear W42562553412016 @default.
- W4256255341 countsByYear W42562553412020 @default.
- W4256255341 crossrefType "proceedings-article" @default.
- W4256255341 hasAuthorship W4256255341A5058771102 @default.
- W4256255341 hasConcept C10138342 @default.
- W4256255341 hasConcept C111472728 @default.
- W4256255341 hasConcept C11413529 @default.
- W4256255341 hasConcept C124101348 @default.
- W4256255341 hasConcept C138885662 @default.
- W4256255341 hasConcept C154945302 @default.
- W4256255341 hasConcept C162324750 @default.
- W4256255341 hasConcept C182306322 @default.
- W4256255341 hasConcept C189950617 @default.
- W4256255341 hasConcept C199360897 @default.
- W4256255341 hasConcept C2524010 @default.
- W4256255341 hasConcept C2775924081 @default.
- W4256255341 hasConcept C28719098 @default.
- W4256255341 hasConcept C33923547 @default.
- W4256255341 hasConcept C41008148 @default.
- W4256255341 hasConcept C80444323 @default.
- W4256255341 hasConcept C97686452 @default.
- W4256255341 hasConceptScore W4256255341C10138342 @default.
- W4256255341 hasConceptScore W4256255341C111472728 @default.
- W4256255341 hasConceptScore W4256255341C11413529 @default.
- W4256255341 hasConceptScore W4256255341C124101348 @default.
- W4256255341 hasConceptScore W4256255341C138885662 @default.
- W4256255341 hasConceptScore W4256255341C154945302 @default.
- W4256255341 hasConceptScore W4256255341C162324750 @default.
- W4256255341 hasConceptScore W4256255341C182306322 @default.
- W4256255341 hasConceptScore W4256255341C189950617 @default.
- W4256255341 hasConceptScore W4256255341C199360897 @default.
- W4256255341 hasConceptScore W4256255341C2524010 @default.
- W4256255341 hasConceptScore W4256255341C2775924081 @default.
- W4256255341 hasConceptScore W4256255341C28719098 @default.
- W4256255341 hasConceptScore W4256255341C33923547 @default.
- W4256255341 hasConceptScore W4256255341C41008148 @default.
- W4256255341 hasConceptScore W4256255341C80444323 @default.
- W4256255341 hasConceptScore W4256255341C97686452 @default.
- W4256255341 hasLocation W42562553411 @default.
- W4256255341 hasOpenAccess W4256255341 @default.
- W4256255341 hasPrimaryLocation W42562553411 @default.
- W4256255341 hasRelatedWork W1553379359 @default.
- W4256255341 hasRelatedWork W1990602759 @default.
- W4256255341 hasRelatedWork W2013637613 @default.
- W4256255341 hasRelatedWork W2126131630 @default.
- W4256255341 hasRelatedWork W2348097614 @default.
- W4256255341 hasRelatedWork W2351491280 @default.
- W4256255341 hasRelatedWork W2359916969 @default.
- W4256255341 hasRelatedWork W303980170 @default.
- W4256255341 hasRelatedWork W4244247685 @default.
- W4256255341 hasRelatedWork W2495842201 @default.
- W4256255341 isParatext "false" @default.
- W4256255341 isRetracted "false" @default.
- W4256255341 workType "article" @default.