Matches in SemOpenAlex for { <https://semopenalex.org/work/W1573805454> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1573805454 endingPage "127" @default.
- W1573805454 startingPage "113" @default.
- W1573805454 abstract "In this paper we define a new decision method for propositional temporal logic of programs. Temporal logic appears to be an appropriate tool to prove some properties of programs such as invariance or eventually because in this logic we define operators that enable us to represent properties that are valid during all the development of the program or over some parts of the program. The decision method that we define is an extension of classical resolution to temporal operators. We give an example of a mutual exclusion problem and we show, using resolution method, that it verifies a liveness property." @default.
- W1573805454 created "2016-06-24" @default.
- W1573805454 creator A5001235333 @default.
- W1573805454 creator A5072274443 @default.
- W1573805454 date "1984-01-01" @default.
- W1573805454 modified "2023-10-14" @default.
- W1573805454 title "A Decision Method for Linear Temporal Logic" @default.
- W1573805454 cites W2048200765 @default.
- W1573805454 cites W2100738443 @default.
- W1573805454 cites W2157319504 @default.
- W1573805454 doi "https://doi.org/10.1007/978-0-387-34768-4_7" @default.
- W1573805454 hasPublicationYear "1984" @default.
- W1573805454 type Work @default.
- W1573805454 sameAs 1573805454 @default.
- W1573805454 citedByCount "17" @default.
- W1573805454 countsByYear W15738054542015 @default.
- W1573805454 countsByYear W15738054542016 @default.
- W1573805454 countsByYear W15738054542019 @default.
- W1573805454 countsByYear W15738054542022 @default.
- W1573805454 countsByYear W15738054542023 @default.
- W1573805454 crossrefType "book-chapter" @default.
- W1573805454 hasAuthorship W1573805454A5001235333 @default.
- W1573805454 hasAuthorship W1573805454A5072274443 @default.
- W1573805454 hasConcept C111472728 @default.
- W1573805454 hasConcept C11413529 @default.
- W1573805454 hasConcept C11648818 @default.
- W1573805454 hasConcept C121332964 @default.
- W1573805454 hasConcept C138268822 @default.
- W1573805454 hasConcept C138885662 @default.
- W1573805454 hasConcept C154945302 @default.
- W1573805454 hasConcept C15569618 @default.
- W1573805454 hasConcept C162670838 @default.
- W1573805454 hasConcept C165801399 @default.
- W1573805454 hasConcept C172385210 @default.
- W1573805454 hasConcept C189950617 @default.
- W1573805454 hasConcept C198008173 @default.
- W1573805454 hasConcept C199360897 @default.
- W1573805454 hasConcept C25016198 @default.
- W1573805454 hasConcept C2777796570 @default.
- W1573805454 hasConcept C2778029271 @default.
- W1573805454 hasConcept C41008148 @default.
- W1573805454 hasConcept C4777664 @default.
- W1573805454 hasConcept C56348326 @default.
- W1573805454 hasConcept C62520636 @default.
- W1573805454 hasConcept C80444323 @default.
- W1573805454 hasConceptScore W1573805454C111472728 @default.
- W1573805454 hasConceptScore W1573805454C11413529 @default.
- W1573805454 hasConceptScore W1573805454C11648818 @default.
- W1573805454 hasConceptScore W1573805454C121332964 @default.
- W1573805454 hasConceptScore W1573805454C138268822 @default.
- W1573805454 hasConceptScore W1573805454C138885662 @default.
- W1573805454 hasConceptScore W1573805454C154945302 @default.
- W1573805454 hasConceptScore W1573805454C15569618 @default.
- W1573805454 hasConceptScore W1573805454C162670838 @default.
- W1573805454 hasConceptScore W1573805454C165801399 @default.
- W1573805454 hasConceptScore W1573805454C172385210 @default.
- W1573805454 hasConceptScore W1573805454C189950617 @default.
- W1573805454 hasConceptScore W1573805454C198008173 @default.
- W1573805454 hasConceptScore W1573805454C199360897 @default.
- W1573805454 hasConceptScore W1573805454C25016198 @default.
- W1573805454 hasConceptScore W1573805454C2777796570 @default.
- W1573805454 hasConceptScore W1573805454C2778029271 @default.
- W1573805454 hasConceptScore W1573805454C41008148 @default.
- W1573805454 hasConceptScore W1573805454C4777664 @default.
- W1573805454 hasConceptScore W1573805454C56348326 @default.
- W1573805454 hasConceptScore W1573805454C62520636 @default.
- W1573805454 hasConceptScore W1573805454C80444323 @default.
- W1573805454 hasLocation W15738054541 @default.
- W1573805454 hasOpenAccess W1573805454 @default.
- W1573805454 hasPrimaryLocation W15738054541 @default.
- W1573805454 hasRelatedWork W1481201928 @default.
- W1573805454 hasRelatedWork W1602925513 @default.
- W1573805454 hasRelatedWork W1816240867 @default.
- W1573805454 hasRelatedWork W189948524 @default.
- W1573805454 hasRelatedWork W2030926579 @default.
- W1573805454 hasRelatedWork W2114609077 @default.
- W1573805454 hasRelatedWork W2180066852 @default.
- W1573805454 hasRelatedWork W2395144056 @default.
- W1573805454 hasRelatedWork W2544900219 @default.
- W1573805454 hasRelatedWork W946220898 @default.
- W1573805454 isParatext "false" @default.
- W1573805454 isRetracted "false" @default.
- W1573805454 magId "1573805454" @default.
- W1573805454 workType "book-chapter" @default.