Matches in SemOpenAlex for { <https://semopenalex.org/work/W1592819458> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1592819458 endingPage "78" @default.
- W1592819458 startingPage "66" @default.
- W1592819458 abstract "In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a question of how complete the specification is, and whether it really covers all the behaviors of the system. In this paper we study coverage metrics for model checking from a practical point of view. Coverage metrics are based on modifications we apply to the system in order to check which parts of it were actually relevant for the verification process to succeed. We suggest several definitions of coverage, suitable for specifications given in linear temporal logic or by automata on infinite words. We describe two algorithms for computing the parts of the system that are not covered by the specification. The first algorithm is built on top of automata-based model-checking algorithms. The second algorithm reduces the coverage problem to the model-checking problem. Both algorithms can be implemented on top of existing model checking tools." @default.
- W1592819458 created "2016-06-24" @default.
- W1592819458 creator A5000059818 @default.
- W1592819458 creator A5034009786 @default.
- W1592819458 creator A5053852359 @default.
- W1592819458 creator A5077429082 @default.
- W1592819458 date "2001-01-01" @default.
- W1592819458 modified "2023-10-09" @default.
- W1592819458 title "A Practical Approach to Coverage in Model Checking" @default.
- W1592819458 cites W1480351298 @default.
- W1592819458 cites W1483744477 @default.
- W1592819458 cites W1491807613 @default.
- W1592819458 cites W1522448884 @default.
- W1592819458 cites W1589840570 @default.
- W1592819458 cites W1855767292 @default.
- W1592819458 cites W1976597924 @default.
- W1592819458 cites W1988808695 @default.
- W1592819458 cites W1990609140 @default.
- W1592819458 cites W2009653580 @default.
- W1592819458 cites W2011848140 @default.
- W1592819458 cites W2015640848 @default.
- W1592819458 cites W2090398333 @default.
- W1592819458 cites W2100112273 @default.
- W1592819458 cites W2103825248 @default.
- W1592819458 cites W2114817689 @default.
- W1592819458 cites W2131064738 @default.
- W1592819458 cites W2132055325 @default.
- W1592819458 cites W2161314693 @default.
- W1592819458 cites W2168755506 @default.
- W1592819458 cites W4236718534 @default.
- W1592819458 cites W4239189021 @default.
- W1592819458 cites W4243707100 @default.
- W1592819458 cites W4250266285 @default.
- W1592819458 cites W4250962413 @default.
- W1592819458 doi "https://doi.org/10.1007/3-540-44585-4_7" @default.
- W1592819458 hasPublicationYear "2001" @default.
- W1592819458 type Work @default.
- W1592819458 sameAs 1592819458 @default.
- W1592819458 citedByCount "69" @default.
- W1592819458 countsByYear W15928194582012 @default.
- W1592819458 countsByYear W15928194582013 @default.
- W1592819458 countsByYear W15928194582014 @default.
- W1592819458 countsByYear W15928194582015 @default.
- W1592819458 countsByYear W15928194582016 @default.
- W1592819458 countsByYear W15928194582017 @default.
- W1592819458 countsByYear W15928194582018 @default.
- W1592819458 countsByYear W15928194582020 @default.
- W1592819458 countsByYear W15928194582021 @default.
- W1592819458 countsByYear W15928194582022 @default.
- W1592819458 crossrefType "book-chapter" @default.
- W1592819458 hasAuthorship W1592819458A5000059818 @default.
- W1592819458 hasAuthorship W1592819458A5034009786 @default.
- W1592819458 hasAuthorship W1592819458A5053852359 @default.
- W1592819458 hasAuthorship W1592819458A5077429082 @default.
- W1592819458 hasBestOaLocation W15928194581 @default.
- W1592819458 hasConcept C110251889 @default.
- W1592819458 hasConcept C41008148 @default.
- W1592819458 hasConcept C80444323 @default.
- W1592819458 hasConceptScore W1592819458C110251889 @default.
- W1592819458 hasConceptScore W1592819458C41008148 @default.
- W1592819458 hasConceptScore W1592819458C80444323 @default.
- W1592819458 hasLocation W15928194581 @default.
- W1592819458 hasLocation W15928194582 @default.
- W1592819458 hasOpenAccess W1592819458 @default.
- W1592819458 hasPrimaryLocation W15928194581 @default.
- W1592819458 hasRelatedWork W1483829320 @default.
- W1592819458 hasRelatedWork W1543150587 @default.
- W1592819458 hasRelatedWork W1557832504 @default.
- W1592819458 hasRelatedWork W1978951759 @default.
- W1592819458 hasRelatedWork W2134424614 @default.
- W1592819458 hasRelatedWork W2177212599 @default.
- W1592819458 hasRelatedWork W2364866360 @default.
- W1592819458 hasRelatedWork W2370841479 @default.
- W1592819458 hasRelatedWork W2551596431 @default.
- W1592819458 hasRelatedWork W2736871302 @default.
- W1592819458 isParatext "false" @default.
- W1592819458 isRetracted "false" @default.
- W1592819458 magId "1592819458" @default.
- W1592819458 workType "book-chapter" @default.