Matches in SemOpenAlex for { <https://semopenalex.org/work/W643407673> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W643407673 abstract "Real-time programs are generally acknowledged to be among the most difficult to write and debug, a situation made all the worse by the fact that typical applications for real-time programs tend to be associated with high failure costs. Formal verification techniques represent one possible avenue toward the production of more reliable software, and while formal methods have been applied to other classes of programs, formal techniques for stating and reasoning about properties of real-time programs have heretofore not been developed. This thesis presents the results of an attempt to develop a formal reasoning system applicable to real-time programs based on temporal logic. Standard temporal logic is extended with operators for expressing real-time properties and with additional inference rules for deriving theorems involving such properties. Several examples are presented to demonstrate the application of the new techniques to realistic problems." @default.
- W643407673 created "2016-06-24" @default.
- W643407673 creator A5077369478 @default.
- W643407673 date "1982-01-01" @default.
- W643407673 modified "2023-09-26" @default.
- W643407673 title "On the application of temporal logic to the verification of real-time programs" @default.
- W643407673 hasPublicationYear "1982" @default.
- W643407673 type Work @default.
- W643407673 sameAs 643407673 @default.
- W643407673 citedByCount "0" @default.
- W643407673 crossrefType "book" @default.
- W643407673 hasAuthorship W643407673A5077369478 @default.
- W643407673 hasConcept C111498074 @default.
- W643407673 hasConcept C115903868 @default.
- W643407673 hasConcept C154945302 @default.
- W643407673 hasConcept C162670838 @default.
- W643407673 hasConcept C168065819 @default.
- W643407673 hasConcept C198008173 @default.
- W643407673 hasConcept C199360897 @default.
- W643407673 hasConcept C25016198 @default.
- W643407673 hasConcept C2776214188 @default.
- W643407673 hasConcept C3746660 @default.
- W643407673 hasConcept C41008148 @default.
- W643407673 hasConcept C4777664 @default.
- W643407673 hasConcept C75606506 @default.
- W643407673 hasConceptScore W643407673C111498074 @default.
- W643407673 hasConceptScore W643407673C115903868 @default.
- W643407673 hasConceptScore W643407673C154945302 @default.
- W643407673 hasConceptScore W643407673C162670838 @default.
- W643407673 hasConceptScore W643407673C168065819 @default.
- W643407673 hasConceptScore W643407673C198008173 @default.
- W643407673 hasConceptScore W643407673C199360897 @default.
- W643407673 hasConceptScore W643407673C25016198 @default.
- W643407673 hasConceptScore W643407673C2776214188 @default.
- W643407673 hasConceptScore W643407673C3746660 @default.
- W643407673 hasConceptScore W643407673C41008148 @default.
- W643407673 hasConceptScore W643407673C4777664 @default.
- W643407673 hasConceptScore W643407673C75606506 @default.
- W643407673 hasLocation W6434076731 @default.
- W643407673 hasOpenAccess W643407673 @default.
- W643407673 hasPrimaryLocation W6434076731 @default.
- W643407673 hasRelatedWork W125106562 @default.
- W643407673 hasRelatedWork W1489213368 @default.
- W643407673 hasRelatedWork W1517543977 @default.
- W643407673 hasRelatedWork W1548937009 @default.
- W643407673 hasRelatedWork W1557363488 @default.
- W643407673 hasRelatedWork W1568191380 @default.
- W643407673 hasRelatedWork W162957564 @default.
- W643407673 hasRelatedWork W1972377715 @default.
- W643407673 hasRelatedWork W1995766701 @default.
- W643407673 hasRelatedWork W2020239492 @default.
- W643407673 hasRelatedWork W2053323560 @default.
- W643407673 hasRelatedWork W2108176668 @default.
- W643407673 hasRelatedWork W2171735771 @default.
- W643407673 hasRelatedWork W2188057831 @default.
- W643407673 hasRelatedWork W2261387040 @default.
- W643407673 hasRelatedWork W2292517751 @default.
- W643407673 hasRelatedWork W2330593560 @default.
- W643407673 hasRelatedWork W2787206368 @default.
- W643407673 hasRelatedWork W3115076626 @default.
- W643407673 hasRelatedWork W3166715420 @default.
- W643407673 isParatext "false" @default.
- W643407673 isRetracted "false" @default.
- W643407673 magId "643407673" @default.
- W643407673 workType "book" @default.