Matches in SemOpenAlex for { <https://semopenalex.org/work/W1514446453> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1514446453 endingPage "336" @default.
- W1514446453 startingPage "324" @default.
- W1514446453 abstract "We present a model-checker for boolean programs with (possibly recursive) procedures and the temporal logic LTL. The checker is guaranteed to terminate even for (usually faulty) programs in which the depth of the recursion is not bounded. The algorithm uses automata to finitely represent possibly infinite sets of stack contents and BDDs to compactly represent finite sets of values of boolean variables. We illustrate the checker on some examples and compare it with the Bebop tool of Ball and Rajamani." @default.
- W1514446453 created "2016-06-24" @default.
- W1514446453 creator A5040146683 @default.
- W1514446453 creator A5090378914 @default.
- W1514446453 date "2001-01-01" @default.
- W1514446453 modified "2023-09-30" @default.
- W1514446453 title "A BDD-Based Model Checker for Recursive Programs" @default.
- W1514446453 cites W1514446453 @default.
- W1514446453 cites W1589224558 @default.
- W1514446453 cites W1691700263 @default.
- W1514446453 cites W2099120582 @default.
- W1514446453 cites W2118382442 @default.
- W1514446453 cites W4230796557 @default.
- W1514446453 doi "https://doi.org/10.1007/3-540-44585-4_30" @default.
- W1514446453 hasPublicationYear "2001" @default.
- W1514446453 type Work @default.
- W1514446453 sameAs 1514446453 @default.
- W1514446453 citedByCount "125" @default.
- W1514446453 countsByYear W15144464532012 @default.
- W1514446453 countsByYear W15144464532013 @default.
- W1514446453 countsByYear W15144464532014 @default.
- W1514446453 countsByYear W15144464532015 @default.
- W1514446453 countsByYear W15144464532017 @default.
- W1514446453 countsByYear W15144464532018 @default.
- W1514446453 countsByYear W15144464532021 @default.
- W1514446453 countsByYear W15144464532022 @default.
- W1514446453 countsByYear W15144464532023 @default.
- W1514446453 crossrefType "book-chapter" @default.
- W1514446453 hasAuthorship W1514446453A5040146683 @default.
- W1514446453 hasAuthorship W1514446453A5090378914 @default.
- W1514446453 hasBestOaLocation W15144464531 @default.
- W1514446453 hasConcept C110251889 @default.
- W1514446453 hasConcept C112505250 @default.
- W1514446453 hasConcept C11413529 @default.
- W1514446453 hasConcept C134306372 @default.
- W1514446453 hasConcept C168773036 @default.
- W1514446453 hasConcept C187455244 @default.
- W1514446453 hasConcept C199360897 @default.
- W1514446453 hasConcept C25016198 @default.
- W1514446453 hasConcept C33923547 @default.
- W1514446453 hasConcept C34388435 @default.
- W1514446453 hasConcept C41008148 @default.
- W1514446453 hasConcept C4777664 @default.
- W1514446453 hasConcept C80444323 @default.
- W1514446453 hasConceptScore W1514446453C110251889 @default.
- W1514446453 hasConceptScore W1514446453C112505250 @default.
- W1514446453 hasConceptScore W1514446453C11413529 @default.
- W1514446453 hasConceptScore W1514446453C134306372 @default.
- W1514446453 hasConceptScore W1514446453C168773036 @default.
- W1514446453 hasConceptScore W1514446453C187455244 @default.
- W1514446453 hasConceptScore W1514446453C199360897 @default.
- W1514446453 hasConceptScore W1514446453C25016198 @default.
- W1514446453 hasConceptScore W1514446453C33923547 @default.
- W1514446453 hasConceptScore W1514446453C34388435 @default.
- W1514446453 hasConceptScore W1514446453C41008148 @default.
- W1514446453 hasConceptScore W1514446453C4777664 @default.
- W1514446453 hasConceptScore W1514446453C80444323 @default.
- W1514446453 hasLocation W15144464531 @default.
- W1514446453 hasOpenAccess W1514446453 @default.
- W1514446453 hasPrimaryLocation W15144464531 @default.
- W1514446453 hasRelatedWork W1514446453 @default.
- W1514446453 hasRelatedWork W1527462432 @default.
- W1514446453 hasRelatedWork W1748450182 @default.
- W1514446453 hasRelatedWork W1988050447 @default.
- W1514446453 hasRelatedWork W2013878945 @default.
- W1514446453 hasRelatedWork W2110468917 @default.
- W1514446453 hasRelatedWork W3209681654 @default.
- W1514446453 hasRelatedWork W4214723139 @default.
- W1514446453 hasRelatedWork W4286892938 @default.
- W1514446453 hasRelatedWork W4379193132 @default.
- W1514446453 isParatext "false" @default.
- W1514446453 isRetracted "false" @default.
- W1514446453 magId "1514446453" @default.
- W1514446453 workType "book-chapter" @default.