Matches in SemOpenAlex for { <https://semopenalex.org/work/W1607782211> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1607782211 endingPage "18" @default.
- W1607782211 startingPage "3" @default.
- W1607782211 abstract "We present a tableau-based algorithm for obtaining an automaton from a temporal logic formula. The algorithm is geared towards being used in model checking in an “on-the-fly” fashion, that is the automaton can be constructed simultaneously with, and guided by, the generation of the model. In particular, it is possible to detect that a property does not hold by only constructing part of the model and of the automaton. The algorithm can also be used to check the validity of a temporal logic assertion. Although the general problem is PSPACE-complete, experiments show that our algorithm performs quite well on the temporal formulas typically encountered in verification. While basing linear-time temporal logic model-checking upon a transformation to automata is not new, the details of how to do this efficiently, and in “on-the-fly” fashion have never been given." @default.
- W1607782211 created "2016-06-24" @default.
- W1607782211 creator A5000059818 @default.
- W1607782211 creator A5020384502 @default.
- W1607782211 creator A5061223044 @default.
- W1607782211 creator A5074692660 @default.
- W1607782211 date "1996-01-01" @default.
- W1607782211 modified "2023-10-14" @default.
- W1607782211 title "Simple On-the-fly Automatic Verification of Linear Temporal Logic" @default.
- W1607782211 cites W1990609140 @default.
- W1607782211 cites W2003227046 @default.
- W1607782211 cites W2012935476 @default.
- W1607782211 cites W2026134631 @default.
- W1607782211 cites W2061438988 @default.
- W1607782211 cites W2806619258 @default.
- W1607782211 doi "https://doi.org/10.1007/978-0-387-34892-6_1" @default.
- W1607782211 hasPublicationYear "1996" @default.
- W1607782211 type Work @default.
- W1607782211 sameAs 1607782211 @default.
- W1607782211 citedByCount "450" @default.
- W1607782211 countsByYear W16077822112012 @default.
- W1607782211 countsByYear W16077822112013 @default.
- W1607782211 countsByYear W16077822112014 @default.
- W1607782211 countsByYear W16077822112015 @default.
- W1607782211 countsByYear W16077822112016 @default.
- W1607782211 countsByYear W16077822112017 @default.
- W1607782211 countsByYear W16077822112018 @default.
- W1607782211 countsByYear W16077822112019 @default.
- W1607782211 countsByYear W16077822112020 @default.
- W1607782211 countsByYear W16077822112021 @default.
- W1607782211 countsByYear W16077822112022 @default.
- W1607782211 countsByYear W16077822112023 @default.
- W1607782211 crossrefType "book-chapter" @default.
- W1607782211 hasAuthorship W1607782211A5000059818 @default.
- W1607782211 hasAuthorship W1607782211A5020384502 @default.
- W1607782211 hasAuthorship W1607782211A5061223044 @default.
- W1607782211 hasAuthorship W1607782211A5074692660 @default.
- W1607782211 hasBestOaLocation W16077822111 @default.
- W1607782211 hasConcept C110251889 @default.
- W1607782211 hasConcept C111472728 @default.
- W1607782211 hasConcept C111919701 @default.
- W1607782211 hasConcept C112505250 @default.
- W1607782211 hasConcept C11413529 @default.
- W1607782211 hasConcept C138885662 @default.
- W1607782211 hasConcept C162670838 @default.
- W1607782211 hasConcept C165753454 @default.
- W1607782211 hasConcept C194525867 @default.
- W1607782211 hasConcept C198008173 @default.
- W1607782211 hasConcept C199360897 @default.
- W1607782211 hasConcept C25016198 @default.
- W1607782211 hasConcept C2780586882 @default.
- W1607782211 hasConcept C2781020372 @default.
- W1607782211 hasConcept C40422974 @default.
- W1607782211 hasConcept C41008148 @default.
- W1607782211 hasConcept C4777664 @default.
- W1607782211 hasConcept C80444323 @default.
- W1607782211 hasConceptScore W1607782211C110251889 @default.
- W1607782211 hasConceptScore W1607782211C111472728 @default.
- W1607782211 hasConceptScore W1607782211C111919701 @default.
- W1607782211 hasConceptScore W1607782211C112505250 @default.
- W1607782211 hasConceptScore W1607782211C11413529 @default.
- W1607782211 hasConceptScore W1607782211C138885662 @default.
- W1607782211 hasConceptScore W1607782211C162670838 @default.
- W1607782211 hasConceptScore W1607782211C165753454 @default.
- W1607782211 hasConceptScore W1607782211C194525867 @default.
- W1607782211 hasConceptScore W1607782211C198008173 @default.
- W1607782211 hasConceptScore W1607782211C199360897 @default.
- W1607782211 hasConceptScore W1607782211C25016198 @default.
- W1607782211 hasConceptScore W1607782211C2780586882 @default.
- W1607782211 hasConceptScore W1607782211C2781020372 @default.
- W1607782211 hasConceptScore W1607782211C40422974 @default.
- W1607782211 hasConceptScore W1607782211C41008148 @default.
- W1607782211 hasConceptScore W1607782211C4777664 @default.
- W1607782211 hasConceptScore W1607782211C80444323 @default.
- W1607782211 hasLocation W16077822111 @default.
- W1607782211 hasLocation W16077822112 @default.
- W1607782211 hasLocation W16077822113 @default.
- W1607782211 hasOpenAccess W1607782211 @default.
- W1607782211 hasPrimaryLocation W16077822111 @default.
- W1607782211 hasRelatedWork W117556101 @default.
- W1607782211 hasRelatedWork W1513159096 @default.
- W1607782211 hasRelatedWork W1527462432 @default.
- W1607782211 hasRelatedWork W1607782211 @default.
- W1607782211 hasRelatedWork W2081883656 @default.
- W1607782211 hasRelatedWork W2110468917 @default.
- W1607782211 hasRelatedWork W2146706022 @default.
- W1607782211 hasRelatedWork W2338673411 @default.
- W1607782211 hasRelatedWork W2369906140 @default.
- W1607782211 hasRelatedWork W2133149947 @default.
- W1607782211 isParatext "false" @default.
- W1607782211 isRetracted "false" @default.
- W1607782211 magId "1607782211" @default.
- W1607782211 workType "book-chapter" @default.