Matches in SemOpenAlex for { <https://semopenalex.org/work/W2364163804> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2364163804 abstract "To verify the properties of concurrent and reactive systems based on the theorem proving approach,a complete axiomatization is formulized over finite domains for first order projection temporal logic(PTL) with finite time.First,the syntax,semantics and the axiomatization of PTL are presented;next,a normal form(NF) and a normal form graph(NFG) of PTL formulas are defined respectively;further,the algorithm for constructing the NFG is formalized upon the NF;moreover,the decision theorem for PTL formulas and the completeness of the axiomatic system have been proven to be based on the property that the NFG can-describe the models of PTL formulas;finally,an example is given to illustrate how to do system verification based on PTL and its axiomatic system,and the results indicate that the PTL based theorem proving approach can be conveniently applied to modeling and verification of concurrent systems." @default.
- W2364163804 created "2016-06-24" @default.
- W2364163804 creator A5043279140 @default.
- W2364163804 date "2011-01-01" @default.
- W2364163804 modified "2023-09-24" @default.
- W2364163804 title "Complete Axiomatization for Projection Temporal Logic with Finite Time" @default.
- W2364163804 hasPublicationYear "2011" @default.
- W2364163804 type Work @default.
- W2364163804 sameAs 2364163804 @default.
- W2364163804 citedByCount "0" @default.
- W2364163804 crossrefType "journal-article" @default.
- W2364163804 hasAuthorship W2364163804A5043279140 @default.
- W2364163804 hasConcept C111472728 @default.
- W2364163804 hasConcept C11413529 @default.
- W2364163804 hasConcept C125773388 @default.
- W2364163804 hasConcept C134306372 @default.
- W2364163804 hasConcept C136119220 @default.
- W2364163804 hasConcept C138885662 @default.
- W2364163804 hasConcept C154945302 @default.
- W2364163804 hasConcept C167729594 @default.
- W2364163804 hasConcept C17231256 @default.
- W2364163804 hasConcept C184337299 @default.
- W2364163804 hasConcept C189950617 @default.
- W2364163804 hasConcept C199360897 @default.
- W2364163804 hasConcept C202444582 @default.
- W2364163804 hasConcept C206880738 @default.
- W2364163804 hasConcept C25016198 @default.
- W2364163804 hasConcept C2524010 @default.
- W2364163804 hasConcept C33923547 @default.
- W2364163804 hasConcept C41008148 @default.
- W2364163804 hasConcept C57493831 @default.
- W2364163804 hasConcept C60048249 @default.
- W2364163804 hasConcept C80444323 @default.
- W2364163804 hasConceptScore W2364163804C111472728 @default.
- W2364163804 hasConceptScore W2364163804C11413529 @default.
- W2364163804 hasConceptScore W2364163804C125773388 @default.
- W2364163804 hasConceptScore W2364163804C134306372 @default.
- W2364163804 hasConceptScore W2364163804C136119220 @default.
- W2364163804 hasConceptScore W2364163804C138885662 @default.
- W2364163804 hasConceptScore W2364163804C154945302 @default.
- W2364163804 hasConceptScore W2364163804C167729594 @default.
- W2364163804 hasConceptScore W2364163804C17231256 @default.
- W2364163804 hasConceptScore W2364163804C184337299 @default.
- W2364163804 hasConceptScore W2364163804C189950617 @default.
- W2364163804 hasConceptScore W2364163804C199360897 @default.
- W2364163804 hasConceptScore W2364163804C202444582 @default.
- W2364163804 hasConceptScore W2364163804C206880738 @default.
- W2364163804 hasConceptScore W2364163804C25016198 @default.
- W2364163804 hasConceptScore W2364163804C2524010 @default.
- W2364163804 hasConceptScore W2364163804C33923547 @default.
- W2364163804 hasConceptScore W2364163804C41008148 @default.
- W2364163804 hasConceptScore W2364163804C57493831 @default.
- W2364163804 hasConceptScore W2364163804C60048249 @default.
- W2364163804 hasConceptScore W2364163804C80444323 @default.
- W2364163804 hasOpenAccess W2364163804 @default.
- W2364163804 hasRelatedWork W1503614987 @default.
- W2364163804 hasRelatedWork W1531105966 @default.
- W2364163804 hasRelatedWork W1551807233 @default.
- W2364163804 hasRelatedWork W1556782207 @default.
- W2364163804 hasRelatedWork W1574253590 @default.
- W2364163804 hasRelatedWork W1587272376 @default.
- W2364163804 hasRelatedWork W1999703197 @default.
- W2364163804 hasRelatedWork W1999807931 @default.
- W2364163804 hasRelatedWork W2020595717 @default.
- W2364163804 hasRelatedWork W2076410236 @default.
- W2364163804 hasRelatedWork W2124890997 @default.
- W2364163804 hasRelatedWork W2152251233 @default.
- W2364163804 hasRelatedWork W2156760071 @default.
- W2364163804 hasRelatedWork W2157005730 @default.
- W2364163804 hasRelatedWork W2177921372 @default.
- W2364163804 hasRelatedWork W2963942981 @default.
- W2364163804 hasRelatedWork W38237202 @default.
- W2364163804 hasRelatedWork W74207700 @default.
- W2364163804 hasRelatedWork W74807182 @default.
- W2364163804 hasRelatedWork W2585435203 @default.
- W2364163804 isParatext "false" @default.
- W2364163804 isRetracted "false" @default.
- W2364163804 magId "2364163804" @default.
- W2364163804 workType "article" @default.