Matches in SemOpenAlex for { <https://semopenalex.org/work/W2593707333> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2593707333 endingPage "412" @default.
- W2593707333 startingPage "405" @default.
- W2593707333 abstract "Linux driver verification is a large application area for software verification methods, in particular, for functional, safety, and security verification. Linux driver software is industrial production code — IT infrastructures rely on its stability, and thus, there are strong requirements for correctness and reliability. Linux driver software is complex, low-level systems code, and its characteristics make it necessary to bring to bear techniques from program analysis, SMT solvers, model checking, and other areas of software verification. These areas have recently made a significant progress in terms of precision and performance, and the complex task of verifying Linux driver software can be successful if the conceptual state-of-the-art becomes available in tool implementations. The paper is based on experience of the research groups led by authors in verification of industrial software. It is important to develop verification tools that are efficient and effective enough to successfully check software components that are as complex as device drivers. In this area verifiers/researchers and Linux society find mutual benefits in cooperation because: for the society it is important to get such crucial software verified; for the verification community it is important to get realistic verification tasks in order to tune and further develop the technology. The paper provides an overview of the state-of-the-art and pointed out research directions in which further progress is essential. In particularly the paper considers most promising verification techniques and tools, including predicate abstraction, counter example generation, explicit-state verification, termination and concurrency analysis. One of main topic of Linux driver verification research is combination of verification techniques." @default.
- W2593707333 created "2017-03-16" @default.
- W2593707333 creator A5032706844 @default.
- W2593707333 creator A5071340047 @default.
- W2593707333 date "2012-01-01" @default.
- W2593707333 modified "2023-09-23" @default.
- W2593707333 title "Linux Driver Verification" @default.
- W2593707333 doi "https://doi.org/10.15514/ispras-2012-23-23" @default.
- W2593707333 hasPublicationYear "2012" @default.
- W2593707333 type Work @default.
- W2593707333 sameAs 2593707333 @default.
- W2593707333 citedByCount "0" @default.
- W2593707333 crossrefType "journal-article" @default.
- W2593707333 hasAuthorship W2593707333A5032706844 @default.
- W2593707333 hasAuthorship W2593707333A5071340047 @default.
- W2593707333 hasBestOaLocation W25937073331 @default.
- W2593707333 hasConcept C110251889 @default.
- W2593707333 hasConcept C111498074 @default.
- W2593707333 hasConcept C111919701 @default.
- W2593707333 hasConcept C115903868 @default.
- W2593707333 hasConcept C127413603 @default.
- W2593707333 hasConcept C142284323 @default.
- W2593707333 hasConcept C149635348 @default.
- W2593707333 hasConcept C177264268 @default.
- W2593707333 hasConcept C186846655 @default.
- W2593707333 hasConcept C199360897 @default.
- W2593707333 hasConcept C201995342 @default.
- W2593707333 hasConcept C21547014 @default.
- W2593707333 hasConcept C2776760102 @default.
- W2593707333 hasConcept C2777904410 @default.
- W2593707333 hasConcept C2779639559 @default.
- W2593707333 hasConcept C2780451532 @default.
- W2593707333 hasConcept C33054407 @default.
- W2593707333 hasConcept C41008148 @default.
- W2593707333 hasConcept C48002344 @default.
- W2593707333 hasConcept C529173508 @default.
- W2593707333 hasConcept C55439883 @default.
- W2593707333 hasConcept C62460635 @default.
- W2593707333 hasConceptScore W2593707333C110251889 @default.
- W2593707333 hasConceptScore W2593707333C111498074 @default.
- W2593707333 hasConceptScore W2593707333C111919701 @default.
- W2593707333 hasConceptScore W2593707333C115903868 @default.
- W2593707333 hasConceptScore W2593707333C127413603 @default.
- W2593707333 hasConceptScore W2593707333C142284323 @default.
- W2593707333 hasConceptScore W2593707333C149635348 @default.
- W2593707333 hasConceptScore W2593707333C177264268 @default.
- W2593707333 hasConceptScore W2593707333C186846655 @default.
- W2593707333 hasConceptScore W2593707333C199360897 @default.
- W2593707333 hasConceptScore W2593707333C201995342 @default.
- W2593707333 hasConceptScore W2593707333C21547014 @default.
- W2593707333 hasConceptScore W2593707333C2776760102 @default.
- W2593707333 hasConceptScore W2593707333C2777904410 @default.
- W2593707333 hasConceptScore W2593707333C2779639559 @default.
- W2593707333 hasConceptScore W2593707333C2780451532 @default.
- W2593707333 hasConceptScore W2593707333C33054407 @default.
- W2593707333 hasConceptScore W2593707333C41008148 @default.
- W2593707333 hasConceptScore W2593707333C48002344 @default.
- W2593707333 hasConceptScore W2593707333C529173508 @default.
- W2593707333 hasConceptScore W2593707333C55439883 @default.
- W2593707333 hasConceptScore W2593707333C62460635 @default.
- W2593707333 hasLocation W25937073331 @default.
- W2593707333 hasLocation W25937073332 @default.
- W2593707333 hasOpenAccess W2593707333 @default.
- W2593707333 hasPrimaryLocation W25937073331 @default.
- W2593707333 hasRelatedWork W1576418322 @default.
- W2593707333 hasRelatedWork W1588273846 @default.
- W2593707333 hasRelatedWork W1968130579 @default.
- W2593707333 hasRelatedWork W2052488639 @default.
- W2593707333 hasRelatedWork W2071213760 @default.
- W2593707333 hasRelatedWork W2157951708 @default.
- W2593707333 hasRelatedWork W2168221375 @default.
- W2593707333 hasRelatedWork W2327815632 @default.
- W2593707333 hasRelatedWork W2476747876 @default.
- W2593707333 hasRelatedWork W2490247016 @default.
- W2593707333 hasRelatedWork W2497218749 @default.
- W2593707333 hasRelatedWork W29002590 @default.
- W2593707333 hasRelatedWork W2987518875 @default.
- W2593707333 hasRelatedWork W3050249911 @default.
- W2593707333 hasRelatedWork W3090084154 @default.
- W2593707333 hasRelatedWork W3121863972 @default.
- W2593707333 hasRelatedWork W778840061 @default.
- W2593707333 hasRelatedWork W815933192 @default.
- W2593707333 hasRelatedWork W1919973159 @default.
- W2593707333 hasRelatedWork W2105766847 @default.
- W2593707333 hasVolume "23" @default.
- W2593707333 isParatext "false" @default.
- W2593707333 isRetracted "false" @default.
- W2593707333 magId "2593707333" @default.
- W2593707333 workType "article" @default.