FRINK Linked Data Fragments server

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

• W4230796557 endingPage "122" @default.
• W4230796557 startingPage "102" @default.
• W4230796557 abstract "We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property of interest. It then automatically creates abstractions of C code using iterative refinement, based on the given property. The process is realized in the SLAM toolkit, which consists of a model checker, predicate abstraction tool and predicate discovery tool. We have applied the SLAM toolkit to a number of Windows NT device drivers to validate critical safety properties such as correct locking behavior. We have found that the process converges on a set of predicates powerful enough to validate properties in just a few iterations." @default.
• W4230796557 created "2022-05-11" @default.
• W4230796557 creator A5076139746 @default.
• W4230796557 creator A5080328005 @default.
• W4230796557 date "2001-01-01" @default.
• W4230796557 modified "2023-10-18" @default.
• W4230796557 title "Automatically validating temporal safety properties of interfaces" @default.
• W4230796557 cites W1491913687 @default.
• W4230796557 cites W1497571013 @default.
• W4230796557 cites W1541969962 @default.
• W4230796557 cites W1553858749 @default.
• W4230796557 cites W1659048632 @default.
• W4230796557 cites W1691700263 @default.
• W4230796557 cites W1967031800 @default.
• W4230796557 cites W1998070736 @default.
• W4230796557 cites W2034711041 @default.
• W4230796557 cites W2038053930 @default.
• W4230796557 cites W2039549168 @default.
• W4230796557 cites W2042751794 @default.
• W4230796557 cites W2080267935 @default.
• W4230796557 cites W2080573945 @default.
• W4230796557 cites W2084974764 @default.
• W4230796557 cites W2095115578 @default.
• W4230796557 cites W2108959714 @default.
• W4230796557 cites W2115309705 @default.
• W4230796557 cites W2132331020 @default.
• W4230796557 cites W2132334337 @default.
• W4230796557 cites W2158395308 @default.
• W4230796557 cites W2160255280 @default.
• W4230796557 cites W4235785239 @default.
• W4230796557 cites W4242057943 @default.
• W4230796557 cites W4250884204 @default.
• W4230796557 doi "https://doi.org/10.1007/3-540-45139-0_7" @default.
• W4230796557 hasPublicationYear "2001" @default.
• W4230796557 type Work @default.
• W4230796557 citedByCount "153" @default.
• W4230796557 countsByYear W42307965572012 @default.
• W4230796557 countsByYear W42307965572013 @default.
• W4230796557 countsByYear W42307965572014 @default.
• W4230796557 countsByYear W42307965572015 @default.
• W4230796557 countsByYear W42307965572016 @default.
• W4230796557 countsByYear W42307965572017 @default.
• W4230796557 countsByYear W42307965572018 @default.
• W4230796557 countsByYear W42307965572019 @default.
• W4230796557 countsByYear W42307965572020 @default.
• W4230796557 countsByYear W42307965572021 @default.
• W4230796557 countsByYear W42307965572023 @default.
• W4230796557 crossrefType "book-chapter" @default.
• W4230796557 hasAuthorship W4230796557A5076139746 @default.
• W4230796557 hasAuthorship W4230796557A5080328005 @default.
• W4230796557 hasConcept C100481476 @default.
• W4230796557 hasConcept C110251889 @default.
• W4230796557 hasConcept C111472728 @default.
• W4230796557 hasConcept C111919701 @default.
• W4230796557 hasConcept C113843644 @default.
• W4230796557 hasConcept C124304363 @default.
• W4230796557 hasConcept C129307140 @default.
• W4230796557 hasConcept C138885662 @default.
• W4230796557 hasConcept C140146324 @default.
• W4230796557 hasConcept C157915830 @default.
• W4230796557 hasConcept C189950617 @default.
• W4230796557 hasConcept C199360897 @default.
• W4230796557 hasConcept C25016198 @default.
• W4230796557 hasConcept C2777904410 @default.
• W4230796557 hasConcept C2779907942 @default.
• W4230796557 hasConcept C41008148 @default.
• W4230796557 hasConcept C80444323 @default.
• W4230796557 hasConcept C98045186 @default.
• W4230796557 hasConceptScore W4230796557C100481476 @default.
• W4230796557 hasConceptScore W4230796557C110251889 @default.
• W4230796557 hasConceptScore W4230796557C111472728 @default.
• W4230796557 hasConceptScore W4230796557C111919701 @default.
• W4230796557 hasConceptScore W4230796557C113843644 @default.
• W4230796557 hasConceptScore W4230796557C124304363 @default.
• W4230796557 hasConceptScore W4230796557C129307140 @default.
• W4230796557 hasConceptScore W4230796557C138885662 @default.
• W4230796557 hasConceptScore W4230796557C140146324 @default.
• W4230796557 hasConceptScore W4230796557C157915830 @default.
• W4230796557 hasConceptScore W4230796557C189950617 @default.
• W4230796557 hasConceptScore W4230796557C199360897 @default.
• W4230796557 hasConceptScore W4230796557C25016198 @default.
• W4230796557 hasConceptScore W4230796557C2777904410 @default.
• W4230796557 hasConceptScore W4230796557C2779907942 @default.
• W4230796557 hasConceptScore W4230796557C41008148 @default.
• W4230796557 hasConceptScore W4230796557C80444323 @default.
• W4230796557 hasConceptScore W4230796557C98045186 @default.
• W4230796557 hasLocation W42307965571 @default.
• W4230796557 hasOpenAccess W4230796557 @default.
• W4230796557 hasPrimaryLocation W42307965571 @default.
• W4230796557 hasRelatedWork W1511759343 @default.
• W4230796557 hasRelatedWork W1582008002 @default.
• W4230796557 hasRelatedWork W1589294645 @default.
• W4230796557 hasRelatedWork W1804882692 @default.
• W4230796557 hasRelatedWork W2086991228 @default.
• W4230796557 hasRelatedWork W2098376757 @default.
• W4230796557 hasRelatedWork W2149977550 @default.
• W4230796557 hasRelatedWork W2151643528 @default.
• W4230796557 hasRelatedWork W4256174789 @default.

• next