FRINK Linked Data Fragments server

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

• W2120892287 abstract "The verification of embedded software has become an important subject over the last years. However, neither standalone verification approaches, like simulation-based or formal verification, nor state-of-the-art hybrid/semiformal verification approaches are able to verify large and complex embedded software with hardware dependencies. This work presents a new scalable and extendable hybrid verification approach for the verification of temporal properties in embedded software with hardware dependencies using for the first time a new mixed bottom-up/top-down algorithm. Therefore, new algorithms and methodologies like static parameter assignment and counterexample guided simulation are proposed in order to combine simulation-based and formal verification in a new way. We have successfully applied this hybrid approach to embedded software applications: Motorola's Powerstone Benchmark suite and a complex industrial embedded automotive software. The results show that our approach scales better than stand-alone software model checkers to reach deep state spaces. The whole approach is best suited for fast falsification." @default.
• W2120892287 created "2016-06-24" @default.
• W2120892287 creator A5022609306 @default.
• W2120892287 creator A5032411828 @default.
• W2120892287 creator A5047014787 @default.
• W2120892287 creator A5060297938 @default.
• W2120892287 creator A5069084799 @default.
• W2120892287 creator A5087076980 @default.
• W2120892287 date "2011-03-01" @default.
• W2120892287 modified "2023-09-27" @default.
• W2120892287 title "Scalable hybrid verification for embedded software" @default.
• W2120892287 cites W1002352093 @default.
• W2120892287 cites W113732979 @default.
• W2120892287 cites W1505561515 @default.
• W2120892287 cites W1540180960 @default.
• W2120892287 cites W1540852292 @default.
• W2120892287 cites W1562679818 @default.
• W2120892287 cites W1566282824 @default.
• W2120892287 cites W1568263435 @default.
• W2120892287 cites W1577404745 @default.
• W2120892287 cites W1804171093 @default.
• W2120892287 cites W2106892818 @default.
• W2120892287 cites W2107089133 @default.
• W2120892287 cites W2117587600 @default.
• W2120892287 cites W2129538349 @default.
• W2120892287 cites W2130749203 @default.
• W2120892287 cites W2132535157 @default.
• W2120892287 cites W2138324004 @default.
• W2120892287 cites W2141028973 @default.
• W2120892287 cites W2156392592 @default.
• W2120892287 cites W2171999426 @default.
• W2120892287 cites W2401075618 @default.
• W2120892287 cites W28644840 @default.
• W2120892287 cites W584910913 @default.
• W2120892287 doi "https://doi.org/10.1109/date.2011.5763039" @default.
• W2120892287 hasPublicationYear "2011" @default.
• W2120892287 type Work @default.
• W2120892287 sameAs 2120892287 @default.
• W2120892287 citedByCount "8" @default.
• W2120892287 countsByYear W21208922872012 @default.
• W2120892287 countsByYear W21208922872013 @default.
• W2120892287 countsByYear W21208922872014 @default.
• W2120892287 countsByYear W21208922872015 @default.
• W2120892287 countsByYear W21208922872017 @default.
• W2120892287 countsByYear W21208922872018 @default.
• W2120892287 crossrefType "proceedings-article" @default.
• W2120892287 hasAuthorship W2120892287A5022609306 @default.
• W2120892287 hasAuthorship W2120892287A5032411828 @default.
• W2120892287 hasAuthorship W2120892287A5047014787 @default.
• W2120892287 hasAuthorship W2120892287A5060297938 @default.
• W2120892287 hasAuthorship W2120892287A5069084799 @default.
• W2120892287 hasAuthorship W2120892287A5087076980 @default.
• W2120892287 hasConcept C110251889 @default.
• W2120892287 hasConcept C111498074 @default.
• W2120892287 hasConcept C111919701 @default.
• W2120892287 hasConcept C113775141 @default.
• W2120892287 hasConcept C118615104 @default.
• W2120892287 hasConcept C127413603 @default.
• W2120892287 hasConcept C13280743 @default.
• W2120892287 hasConcept C149635348 @default.
• W2120892287 hasConcept C154488198 @default.
• W2120892287 hasConcept C162838799 @default.
• W2120892287 hasConcept C166957645 @default.
• W2120892287 hasConcept C185798385 @default.
• W2120892287 hasConcept C186846655 @default.
• W2120892287 hasConcept C187250869 @default.
• W2120892287 hasConcept C199360897 @default.
• W2120892287 hasConcept C202973057 @default.
• W2120892287 hasConcept C205649164 @default.
• W2120892287 hasConcept C21547014 @default.
• W2120892287 hasConcept C2777904410 @default.
• W2120892287 hasConcept C33054407 @default.
• W2120892287 hasConcept C33923547 @default.
• W2120892287 hasConcept C3406870 @default.
• W2120892287 hasConcept C41008148 @default.
• W2120892287 hasConcept C48002344 @default.
• W2120892287 hasConcept C48044578 @default.
• W2120892287 hasConcept C529173508 @default.
• W2120892287 hasConcept C62460635 @default.
• W2120892287 hasConcept C79581498 @default.
• W2120892287 hasConcept C95457728 @default.
• W2120892287 hasConceptScore W2120892287C110251889 @default.
• W2120892287 hasConceptScore W2120892287C111498074 @default.
• W2120892287 hasConceptScore W2120892287C111919701 @default.
• W2120892287 hasConceptScore W2120892287C113775141 @default.
• W2120892287 hasConceptScore W2120892287C118615104 @default.
• W2120892287 hasConceptScore W2120892287C127413603 @default.
• W2120892287 hasConceptScore W2120892287C13280743 @default.
• W2120892287 hasConceptScore W2120892287C149635348 @default.
• W2120892287 hasConceptScore W2120892287C154488198 @default.
• W2120892287 hasConceptScore W2120892287C162838799 @default.
• W2120892287 hasConceptScore W2120892287C166957645 @default.
• W2120892287 hasConceptScore W2120892287C185798385 @default.
• W2120892287 hasConceptScore W2120892287C186846655 @default.
• W2120892287 hasConceptScore W2120892287C187250869 @default.
• W2120892287 hasConceptScore W2120892287C199360897 @default.
• W2120892287 hasConceptScore W2120892287C202973057 @default.
• W2120892287 hasConceptScore W2120892287C205649164 @default.
• W2120892287 hasConceptScore W2120892287C21547014 @default.
• W2120892287 hasConceptScore W2120892287C2777904410 @default.

• next