Matches in SemOpenAlex for { <https://semopenalex.org/work/W132621875> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W132621875 endingPage "44" @default.
- W132621875 startingPage "31" @default.
- W132621875 abstract "We review, compare and discuss several approaches for representing programs by logic formulas, such as symbolic model checking, bounded model checking, verification-condition generation, and symbolic-execution-based test generation.KeywordsModel CheckTest GenerationProgram ExecutionLogic FormulaProgram VariableThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W132621875 created "2016-06-24" @default.
- W132621875 creator A5041084431 @default.
- W132621875 creator A5069392259 @default.
- W132621875 date "2012-01-01" @default.
- W132621875 modified "2023-10-17" @default.
- W132621875 title "From Program to Logic: An Introduction" @default.
- W132621875 cites W1498946538 @default.
- W132621875 cites W1500350535 @default.
- W132621875 cites W1579638562 @default.
- W132621875 cites W1670210142 @default.
- W132621875 cites W1819209966 @default.
- W132621875 cites W1982205631 @default.
- W132621875 cites W2032153666 @default.
- W132621875 cites W2065675749 @default.
- W132621875 cites W2066210260 @default.
- W132621875 cites W2101512909 @default.
- W132621875 cites W2107445402 @default.
- W132621875 cites W2110311336 @default.
- W132621875 cites W2117058582 @default.
- W132621875 cites W2134875273 @default.
- W132621875 cites W2139443212 @default.
- W132621875 cites W2152492994 @default.
- W132621875 cites W2171469152 @default.
- W132621875 cites W2987907651 @default.
- W132621875 cites W3046946143 @default.
- W132621875 cites W4237492309 @default.
- W132621875 cites W4242377092 @default.
- W132621875 cites W4243326882 @default.
- W132621875 cites W4246385123 @default.
- W132621875 cites W4251912342 @default.
- W132621875 cites W4256147943 @default.
- W132621875 doi "https://doi.org/10.1007/978-3-642-35746-6_2" @default.
- W132621875 hasPublicationYear "2012" @default.
- W132621875 type Work @default.
- W132621875 sameAs 132621875 @default.
- W132621875 citedByCount "4" @default.
- W132621875 countsByYear W1326218752012 @default.
- W132621875 countsByYear W1326218752016 @default.
- W132621875 countsByYear W1326218752018 @default.
- W132621875 crossrefType "book-chapter" @default.
- W132621875 hasAuthorship W132621875A5041084431 @default.
- W132621875 hasAuthorship W132621875A5069392259 @default.
- W132621875 hasConcept C128838566 @default.
- W132621875 hasConcept C199360897 @default.
- W132621875 hasConcept C2987117450 @default.
- W132621875 hasConcept C41008148 @default.
- W132621875 hasConceptScore W132621875C128838566 @default.
- W132621875 hasConceptScore W132621875C199360897 @default.
- W132621875 hasConceptScore W132621875C2987117450 @default.
- W132621875 hasConceptScore W132621875C41008148 @default.
- W132621875 hasLocation W1326218751 @default.
- W132621875 hasOpenAccess W132621875 @default.
- W132621875 hasPrimaryLocation W1326218751 @default.
- W132621875 hasRelatedWork W1480105416 @default.
- W132621875 hasRelatedWork W1489095339 @default.
- W132621875 hasRelatedWork W1501346358 @default.
- W132621875 hasRelatedWork W1541174442 @default.
- W132621875 hasRelatedWork W1547517160 @default.
- W132621875 hasRelatedWork W1573918680 @default.
- W132621875 hasRelatedWork W1574295141 @default.
- W132621875 hasRelatedWork W1582868218 @default.
- W132621875 hasRelatedWork W1593793497 @default.
- W132621875 hasRelatedWork W1720848645 @default.
- W132621875 hasRelatedWork W1890734697 @default.
- W132621875 hasRelatedWork W2037711733 @default.
- W132621875 hasRelatedWork W2047719075 @default.
- W132621875 hasRelatedWork W2074500093 @default.
- W132621875 hasRelatedWork W2078988604 @default.
- W132621875 hasRelatedWork W2107445402 @default.
- W132621875 hasRelatedWork W2139712811 @default.
- W132621875 hasRelatedWork W2154861576 @default.
- W132621875 hasRelatedWork W2359128779 @default.
- W132621875 hasRelatedWork W2362871145 @default.
- W132621875 isParatext "false" @default.
- W132621875 isRetracted "false" @default.
- W132621875 magId "132621875" @default.
- W132621875 workType "book-chapter" @default.