FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2090899504> ?p ?o ?g. }

• W2090899504 abstract "Assertion-based verification (ABV) affirmed as an effective methodology for functional verification, i.e., design specification conformance, of embedded systems. Academia and industry have throughly investigated formal ABV for high-budget or safety-critical hardware and software projects, while the scalability of dynamic ABV has led to the introduction of standard languages and commercial tools addressing hardware design verification, emulation, and silicon debug. However, up to now, there were only limited studies concerning the application of dynamic ABV to embedded-software design and verification flow. We propose an analysis aiming to bridge such a gap. In particular, we illustrate how dynamic ABV can integrate and improve the various stages of the embedded-software verification flow. The analysis leads us to develop a comprehensive ABV environment that integrates the still missing automatic synthesis of executable checkers for embedded software. Experiments show that the proposed environment reduces the verification-team efforts and makes dynamic ABV practical for embedded-software design." @default.
• W2090899504 created "2016-06-24" @default.
• W2090899504 creator A5002126777 @default.
• W2090899504 creator A5025088388 @default.
• W2090899504 creator A5040302302 @default.
• W2090899504 creator A5079644832 @default.
• W2090899504 date "2012-04-01" @default.
• W2090899504 modified "2023-09-24" @default.
• W2090899504 title "On the use of assertions for embedded-software dynamic verification" @default.
• W2090899504 cites W1797377815 @default.
• W2090899504 cites W1936022305 @default.
• W2090899504 cites W2015809588 @default.
• W2090899504 cites W2029254184 @default.
• W2090899504 cites W2046234016 @default.
• W2090899504 cites W2101759873 @default.
• W2090899504 cites W2101931376 @default.
• W2090899504 cites W2105167627 @default.
• W2090899504 cites W2105337588 @default.
• W2090899504 cites W2123613958 @default.
• W2090899504 cites W2129538349 @default.
• W2090899504 cites W2138612284 @default.
• W2090899504 cites W2147674979 @default.
• W2090899504 cites W2157685154 @default.
• W2090899504 cites W2533818254 @default.
• W2090899504 doi "https://doi.org/10.1109/ddecs.2012.6219083" @default.
• W2090899504 hasPublicationYear "2012" @default.
• W2090899504 type Work @default.
• W2090899504 sameAs 2090899504 @default.
• W2090899504 citedByCount "1" @default.
• W2090899504 countsByYear W20908995042013 @default.
• W2090899504 crossrefType "proceedings-article" @default.
• W2090899504 hasAuthorship W2090899504A5002126777 @default.
• W2090899504 hasAuthorship W2090899504A5025088388 @default.
• W2090899504 hasAuthorship W2090899504A5040302302 @default.
• W2090899504 hasAuthorship W2090899504A5079644832 @default.
• W2090899504 hasConcept C111498074 @default.
• W2090899504 hasConcept C115903868 @default.
• W2090899504 hasConcept C127413603 @default.
• W2090899504 hasConcept C142284323 @default.
• W2090899504 hasConcept C149091818 @default.
• W2090899504 hasConcept C149635348 @default.
• W2090899504 hasConcept C149810388 @default.
• W2090899504 hasConcept C154488198 @default.
• W2090899504 hasConcept C160145156 @default.
• W2090899504 hasConcept C162324750 @default.
• W2090899504 hasConcept C168065819 @default.
• W2090899504 hasConcept C186846655 @default.
• W2090899504 hasConcept C187250869 @default.
• W2090899504 hasConcept C199360897 @default.
• W2090899504 hasConcept C202973057 @default.
• W2090899504 hasConcept C21547014 @default.
• W2090899504 hasConcept C2777904410 @default.
• W2090899504 hasConcept C33054407 @default.
• W2090899504 hasConcept C3406870 @default.
• W2090899504 hasConcept C41008148 @default.
• W2090899504 hasConcept C48002344 @default.
• W2090899504 hasConcept C50522688 @default.
• W2090899504 hasConcept C62460635 @default.
• W2090899504 hasConceptScore W2090899504C111498074 @default.
• W2090899504 hasConceptScore W2090899504C115903868 @default.
• W2090899504 hasConceptScore W2090899504C127413603 @default.
• W2090899504 hasConceptScore W2090899504C142284323 @default.
• W2090899504 hasConceptScore W2090899504C149091818 @default.
• W2090899504 hasConceptScore W2090899504C149635348 @default.
• W2090899504 hasConceptScore W2090899504C149810388 @default.
• W2090899504 hasConceptScore W2090899504C154488198 @default.
• W2090899504 hasConceptScore W2090899504C160145156 @default.
• W2090899504 hasConceptScore W2090899504C162324750 @default.
• W2090899504 hasConceptScore W2090899504C168065819 @default.
• W2090899504 hasConceptScore W2090899504C186846655 @default.
• W2090899504 hasConceptScore W2090899504C187250869 @default.
• W2090899504 hasConceptScore W2090899504C199360897 @default.
• W2090899504 hasConceptScore W2090899504C202973057 @default.
• W2090899504 hasConceptScore W2090899504C21547014 @default.
• W2090899504 hasConceptScore W2090899504C2777904410 @default.
• W2090899504 hasConceptScore W2090899504C33054407 @default.
• W2090899504 hasConceptScore W2090899504C3406870 @default.
• W2090899504 hasConceptScore W2090899504C41008148 @default.
• W2090899504 hasConceptScore W2090899504C48002344 @default.
• W2090899504 hasConceptScore W2090899504C50522688 @default.
• W2090899504 hasConceptScore W2090899504C62460635 @default.
• W2090899504 hasLocation W20908995041 @default.
• W2090899504 hasOpenAccess W2090899504 @default.
• W2090899504 hasPrimaryLocation W20908995041 @default.
• W2090899504 hasRelatedWork W1484851744 @default.
• W2090899504 hasRelatedWork W1484942078 @default.
• W2090899504 hasRelatedWork W1979486932 @default.
• W2090899504 hasRelatedWork W1994459599 @default.
• W2090899504 hasRelatedWork W2004066214 @default.
• W2090899504 hasRelatedWork W2033208455 @default.
• W2090899504 hasRelatedWork W2045491902 @default.
• W2090899504 hasRelatedWork W2123598699 @default.
• W2090899504 hasRelatedWork W2128513456 @default.
• W2090899504 hasRelatedWork W2141028973 @default.
• W2090899504 hasRelatedWork W2142268248 @default.
• W2090899504 hasRelatedWork W2194621648 @default.
• W2090899504 hasRelatedWork W2477025673 @default.
• W2090899504 hasRelatedWork W2533078207 @default.
• W2090899504 hasRelatedWork W2536486944 @default.
• W2090899504 hasRelatedWork W2564153475 @default.

• next