Matches in SemOpenAlex for { <https://semopenalex.org/work/W2361925102> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2361925102 abstract "As a specification language,temporal logic is powerful enough in expressing the properties for program.In order to prove the theorem that expresses the property using temporal logic formula in a prototype verification system(PVS),this paper establishes a semantics model for temporal logic as well as the semantics interpretation.As an example,a program for solving the square root for an integer is investigated.Some properties of this program are specified in temporal logic formulas.An interface for verifying program by PVS is provided." @default.
- W2361925102 created "2016-06-24" @default.
- W2361925102 creator A5078511168 @default.
- W2361925102 date "2006-01-01" @default.
- W2361925102 modified "2023-09-28" @default.
- W2361925102 title "Temporal Logic Semantics Model and Its Implementation Using PVS" @default.
- W2361925102 hasPublicationYear "2006" @default.
- W2361925102 type Work @default.
- W2361925102 sameAs 2361925102 @default.
- W2361925102 citedByCount "1" @default.
- W2361925102 crossrefType "journal-article" @default.
- W2361925102 hasAuthorship W2361925102A5078511168 @default.
- W2361925102 hasConcept C102993220 @default.
- W2361925102 hasConcept C111472728 @default.
- W2361925102 hasConcept C11413529 @default.
- W2361925102 hasConcept C138885662 @default.
- W2361925102 hasConcept C162670838 @default.
- W2361925102 hasConcept C169896238 @default.
- W2361925102 hasConcept C184337299 @default.
- W2361925102 hasConcept C189950617 @default.
- W2361925102 hasConcept C199360897 @default.
- W2361925102 hasConcept C25016198 @default.
- W2361925102 hasConcept C41008148 @default.
- W2361925102 hasConcept C4777664 @default.
- W2361925102 hasConcept C80444323 @default.
- W2361925102 hasConceptScore W2361925102C102993220 @default.
- W2361925102 hasConceptScore W2361925102C111472728 @default.
- W2361925102 hasConceptScore W2361925102C11413529 @default.
- W2361925102 hasConceptScore W2361925102C138885662 @default.
- W2361925102 hasConceptScore W2361925102C162670838 @default.
- W2361925102 hasConceptScore W2361925102C169896238 @default.
- W2361925102 hasConceptScore W2361925102C184337299 @default.
- W2361925102 hasConceptScore W2361925102C189950617 @default.
- W2361925102 hasConceptScore W2361925102C199360897 @default.
- W2361925102 hasConceptScore W2361925102C25016198 @default.
- W2361925102 hasConceptScore W2361925102C41008148 @default.
- W2361925102 hasConceptScore W2361925102C4777664 @default.
- W2361925102 hasConceptScore W2361925102C80444323 @default.
- W2361925102 hasLocation W23619251021 @default.
- W2361925102 hasOpenAccess W2361925102 @default.
- W2361925102 hasPrimaryLocation W23619251021 @default.
- W2361925102 hasRelatedWork W1515452107 @default.
- W2361925102 hasRelatedWork W1526924704 @default.
- W2361925102 hasRelatedWork W1601192085 @default.
- W2361925102 hasRelatedWork W174561654 @default.
- W2361925102 hasRelatedWork W1795817251 @default.
- W2361925102 hasRelatedWork W1849529882 @default.
- W2361925102 hasRelatedWork W1866624891 @default.
- W2361925102 hasRelatedWork W2063903592 @default.
- W2361925102 hasRelatedWork W2099374974 @default.
- W2361925102 hasRelatedWork W2122505115 @default.
- W2361925102 hasRelatedWork W2142642467 @default.
- W2361925102 hasRelatedWork W2153903356 @default.
- W2361925102 hasRelatedWork W2189440411 @default.
- W2361925102 hasRelatedWork W2234078087 @default.
- W2361925102 hasRelatedWork W2295098620 @default.
- W2361925102 hasRelatedWork W2317674639 @default.
- W2361925102 hasRelatedWork W2365236609 @default.
- W2361925102 hasRelatedWork W34682815 @default.
- W2361925102 hasRelatedWork W96249932 @default.
- W2361925102 hasRelatedWork W2985456438 @default.
- W2361925102 isParatext "false" @default.
- W2361925102 isRetracted "false" @default.
- W2361925102 magId "2361925102" @default.
- W2361925102 workType "article" @default.