Matches in SemOpenAlex for { <https://semopenalex.org/work/W2261603022> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2261603022 endingPage "555" @default.
- W2261603022 startingPage "552" @default.
- W2261603022 abstract "SatAbs is a bit-precise software model checker for ANSI-C programs. It implements sound predicate-abstraction based algorithms for both sequential and concurrent software." @default.
- W2261603022 created "2016-06-24" @default.
- W2261603022 creator A5001580382 @default.
- W2261603022 creator A5023675966 @default.
- W2261603022 creator A5049370878 @default.
- W2261603022 creator A5074342679 @default.
- W2261603022 creator A5080781439 @default.
- W2261603022 creator A5086206346 @default.
- W2261603022 date "2012-01-01" @default.
- W2261603022 modified "2023-09-26" @default.
- W2261603022 title "SatAbs: A Bit-Precise Verifier for C Programs (Competition Contribution)" @default.
- W2261603022 cites W1497571013 @default.
- W2261603022 cites W1518705996 @default.
- W2261603022 cites W1539795027 @default.
- W2261603022 cites W1556652046 @default.
- W2261603022 cites W1562679818 @default.
- W2261603022 cites W1581087217 @default.
- W2261603022 cites W2043876870 @default.
- W2261603022 cites W2127574686 @default.
- W2261603022 cites W2129538349 @default.
- W2261603022 cites W2134147303 @default.
- W2261603022 cites W2136867104 @default.
- W2261603022 cites W2144528329 @default.
- W2261603022 cites W2162284942 @default.
- W2261603022 hasPublicationYear "2012" @default.
- W2261603022 type Work @default.
- W2261603022 sameAs 2261603022 @default.
- W2261603022 citedByCount "0" @default.
- W2261603022 crossrefType "proceedings-article" @default.
- W2261603022 hasAuthorship W2261603022A5001580382 @default.
- W2261603022 hasAuthorship W2261603022A5023675966 @default.
- W2261603022 hasAuthorship W2261603022A5049370878 @default.
- W2261603022 hasAuthorship W2261603022A5074342679 @default.
- W2261603022 hasAuthorship W2261603022A5080781439 @default.
- W2261603022 hasAuthorship W2261603022A5086206346 @default.
- W2261603022 hasConcept C117011727 @default.
- W2261603022 hasConcept C173608175 @default.
- W2261603022 hasConcept C18903297 @default.
- W2261603022 hasConcept C199360897 @default.
- W2261603022 hasConcept C31258907 @default.
- W2261603022 hasConcept C41008148 @default.
- W2261603022 hasConcept C86803240 @default.
- W2261603022 hasConcept C91306197 @default.
- W2261603022 hasConceptScore W2261603022C117011727 @default.
- W2261603022 hasConceptScore W2261603022C173608175 @default.
- W2261603022 hasConceptScore W2261603022C18903297 @default.
- W2261603022 hasConceptScore W2261603022C199360897 @default.
- W2261603022 hasConceptScore W2261603022C31258907 @default.
- W2261603022 hasConceptScore W2261603022C41008148 @default.
- W2261603022 hasConceptScore W2261603022C86803240 @default.
- W2261603022 hasConceptScore W2261603022C91306197 @default.
- W2261603022 hasLocation W22616030221 @default.
- W2261603022 hasOpenAccess W2261603022 @default.
- W2261603022 hasPrimaryLocation W22616030221 @default.
- W2261603022 hasRelatedWork W113529588 @default.
- W2261603022 hasRelatedWork W139090961 @default.
- W2261603022 hasRelatedWork W1480105416 @default.
- W2261603022 hasRelatedWork W1509087544 @default.
- W2261603022 hasRelatedWork W1519361875 @default.
- W2261603022 hasRelatedWork W1527493026 @default.
- W2261603022 hasRelatedWork W1540852292 @default.
- W2261603022 hasRelatedWork W1988475842 @default.
- W2261603022 hasRelatedWork W2034574352 @default.
- W2261603022 hasRelatedWork W2098271773 @default.
- W2261603022 hasRelatedWork W2122041181 @default.
- W2261603022 hasRelatedWork W2143645083 @default.
- W2261603022 hasRelatedWork W2160953336 @default.
- W2261603022 hasRelatedWork W2171341087 @default.
- W2261603022 hasRelatedWork W2171999426 @default.
- W2261603022 hasRelatedWork W2244401193 @default.
- W2261603022 hasRelatedWork W2604180862 @default.
- W2261603022 hasRelatedWork W2612750330 @default.
- W2261603022 hasRelatedWork W2794720712 @default.
- W2261603022 hasRelatedWork W2797002635 @default.
- W2261603022 isParatext "false" @default.
- W2261603022 isRetracted "false" @default.
- W2261603022 magId "2261603022" @default.
- W2261603022 workType "article" @default.