Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287777785> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W4287777785 abstract "Program verification is a resource-hungry task. This paper looks at the problem of parallelizing SMT-based automated program verification, specifically bounded model-checking, so that it can be distributed and executed on a cluster of machines. We present an algorithm that dynamically unfolds the call graph of the program and frequently splits it to create sub-tasks that can be solved in parallel. The algorithm is adaptive, controlling the splitting rate according to available resources, and also leverages information from the SMT solver to split where most complexity lies in the search. We implemented our algorithm by modifying CORRAL, the verifier used by Microsoft's Static Driver Verifier (SDV), and evaluate it on a series of hard SDV benchmarks." @default.
- W4287777785 created "2022-07-26" @default.
- W4287777785 creator A5014601092 @default.
- W4287777785 creator A5015891197 @default.
- W4287777785 creator A5029930688 @default.
- W4287777785 creator A5062486002 @default.
- W4287777785 date "2020-05-16" @default.
- W4287777785 modified "2023-10-17" @default.
- W4287777785 title "Distributed Bounded Model Checking" @default.
- W4287777785 doi "https://doi.org/10.48550/arxiv.2005.08063" @default.
- W4287777785 hasPublicationYear "2020" @default.
- W4287777785 type Work @default.
- W4287777785 citedByCount "0" @default.
- W4287777785 crossrefType "posted-content" @default.
- W4287777785 hasAuthorship W4287777785A5014601092 @default.
- W4287777785 hasAuthorship W4287777785A5015891197 @default.
- W4287777785 hasAuthorship W4287777785A5029930688 @default.
- W4287777785 hasAuthorship W4287777785A5062486002 @default.
- W4287777785 hasBestOaLocation W42877777851 @default.
- W4287777785 hasConcept C110251889 @default.
- W4287777785 hasConcept C120314980 @default.
- W4287777785 hasConcept C132525143 @default.
- W4287777785 hasConcept C134306372 @default.
- W4287777785 hasConcept C162324750 @default.
- W4287777785 hasConcept C164155591 @default.
- W4287777785 hasConcept C173608175 @default.
- W4287777785 hasConcept C187736073 @default.
- W4287777785 hasConcept C199360897 @default.
- W4287777785 hasConcept C2778770139 @default.
- W4287777785 hasConcept C2780451532 @default.
- W4287777785 hasConcept C33923547 @default.
- W4287777785 hasConcept C34388435 @default.
- W4287777785 hasConcept C41008148 @default.
- W4287777785 hasConcept C80444323 @default.
- W4287777785 hasConceptScore W4287777785C110251889 @default.
- W4287777785 hasConceptScore W4287777785C120314980 @default.
- W4287777785 hasConceptScore W4287777785C132525143 @default.
- W4287777785 hasConceptScore W4287777785C134306372 @default.
- W4287777785 hasConceptScore W4287777785C162324750 @default.
- W4287777785 hasConceptScore W4287777785C164155591 @default.
- W4287777785 hasConceptScore W4287777785C173608175 @default.
- W4287777785 hasConceptScore W4287777785C187736073 @default.
- W4287777785 hasConceptScore W4287777785C199360897 @default.
- W4287777785 hasConceptScore W4287777785C2778770139 @default.
- W4287777785 hasConceptScore W4287777785C2780451532 @default.
- W4287777785 hasConceptScore W4287777785C33923547 @default.
- W4287777785 hasConceptScore W4287777785C34388435 @default.
- W4287777785 hasConceptScore W4287777785C41008148 @default.
- W4287777785 hasConceptScore W4287777785C80444323 @default.
- W4287777785 hasLocation W42877777851 @default.
- W4287777785 hasLocation W42877777852 @default.
- W4287777785 hasOpenAccess W4287777785 @default.
- W4287777785 hasPrimaryLocation W42877777851 @default.
- W4287777785 hasRelatedWork W1502414128 @default.
- W4287777785 hasRelatedWork W1513409726 @default.
- W4287777785 hasRelatedWork W1587475692 @default.
- W4287777785 hasRelatedWork W1971998059 @default.
- W4287777785 hasRelatedWork W2005214031 @default.
- W4287777785 hasRelatedWork W2080076943 @default.
- W4287777785 hasRelatedWork W2319467001 @default.
- W4287777785 hasRelatedWork W2405261564 @default.
- W4287777785 hasRelatedWork W2554061909 @default.
- W4287777785 hasRelatedWork W4295885746 @default.
- W4287777785 isParatext "false" @default.
- W4287777785 isRetracted "false" @default.
- W4287777785 workType "article" @default.