Matches in SemOpenAlex for { <https://semopenalex.org/work/W2122198158> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2122198158 abstract "This paper describes a method to verify a finite state machine by theorem proving. For some instances, inductive reasoning comes in handy to support the proof of verification. In this work the theorem prover itself tries to find out the properties on which induction needs to be applied. A short account of the proof procedure which is based on goal directed backward reasoning is given. A nontrivial example is presented to illustrate the approach. A proof construction algorithm has been provided. >" @default.
- W2122198158 created "2016-06-24" @default.
- W2122198158 creator A5000320359 @default.
- W2122198158 creator A5003667123 @default.
- W2122198158 date "2002-12-17" @default.
- W2122198158 modified "2023-09-27" @default.
- W2122198158 title "Mechanical identification of inductive properties during verification of finite state machines" @default.
- W2122198158 cites W1607877490 @default.
- W2122198158 cites W2152475379 @default.
- W2122198158 doi "https://doi.org/10.1109/icvd.1994.282725" @default.
- W2122198158 hasPublicationYear "2002" @default.
- W2122198158 type Work @default.
- W2122198158 sameAs 2122198158 @default.
- W2122198158 citedByCount "0" @default.
- W2122198158 crossrefType "proceedings-article" @default.
- W2122198158 hasAuthorship W2122198158A5000320359 @default.
- W2122198158 hasAuthorship W2122198158A5003667123 @default.
- W2122198158 hasConcept C105605280 @default.
- W2122198158 hasConcept C108710211 @default.
- W2122198158 hasConcept C11413529 @default.
- W2122198158 hasConcept C116834253 @default.
- W2122198158 hasConcept C145420912 @default.
- W2122198158 hasConcept C154945302 @default.
- W2122198158 hasConcept C159718280 @default.
- W2122198158 hasConcept C167822520 @default.
- W2122198158 hasConcept C206743973 @default.
- W2122198158 hasConcept C206880738 @default.
- W2122198158 hasConcept C21563000 @default.
- W2122198158 hasConcept C2524010 @default.
- W2122198158 hasConcept C2993131915 @default.
- W2122198158 hasConcept C33923547 @default.
- W2122198158 hasConcept C41008148 @default.
- W2122198158 hasConcept C48103436 @default.
- W2122198158 hasConcept C59822182 @default.
- W2122198158 hasConcept C80444323 @default.
- W2122198158 hasConcept C86803240 @default.
- W2122198158 hasConcept C88610354 @default.
- W2122198158 hasConceptScore W2122198158C105605280 @default.
- W2122198158 hasConceptScore W2122198158C108710211 @default.
- W2122198158 hasConceptScore W2122198158C11413529 @default.
- W2122198158 hasConceptScore W2122198158C116834253 @default.
- W2122198158 hasConceptScore W2122198158C145420912 @default.
- W2122198158 hasConceptScore W2122198158C154945302 @default.
- W2122198158 hasConceptScore W2122198158C159718280 @default.
- W2122198158 hasConceptScore W2122198158C167822520 @default.
- W2122198158 hasConceptScore W2122198158C206743973 @default.
- W2122198158 hasConceptScore W2122198158C206880738 @default.
- W2122198158 hasConceptScore W2122198158C21563000 @default.
- W2122198158 hasConceptScore W2122198158C2524010 @default.
- W2122198158 hasConceptScore W2122198158C2993131915 @default.
- W2122198158 hasConceptScore W2122198158C33923547 @default.
- W2122198158 hasConceptScore W2122198158C41008148 @default.
- W2122198158 hasConceptScore W2122198158C48103436 @default.
- W2122198158 hasConceptScore W2122198158C59822182 @default.
- W2122198158 hasConceptScore W2122198158C80444323 @default.
- W2122198158 hasConceptScore W2122198158C86803240 @default.
- W2122198158 hasConceptScore W2122198158C88610354 @default.
- W2122198158 hasLocation W21221981581 @default.
- W2122198158 hasOpenAccess W2122198158 @default.
- W2122198158 hasPrimaryLocation W21221981581 @default.
- W2122198158 hasRelatedWork W1497683217 @default.
- W2122198158 hasRelatedWork W1507932752 @default.
- W2122198158 hasRelatedWork W1519028982 @default.
- W2122198158 hasRelatedWork W1546300044 @default.
- W2122198158 hasRelatedWork W154684055 @default.
- W2122198158 hasRelatedWork W1599032991 @default.
- W2122198158 hasRelatedWork W1602107760 @default.
- W2122198158 hasRelatedWork W1605919360 @default.
- W2122198158 hasRelatedWork W1842527047 @default.
- W2122198158 hasRelatedWork W1889225616 @default.
- W2122198158 hasRelatedWork W192002195 @default.
- W2122198158 hasRelatedWork W2024792743 @default.
- W2122198158 hasRelatedWork W2033383995 @default.
- W2122198158 hasRelatedWork W2054554282 @default.
- W2122198158 hasRelatedWork W2070717690 @default.
- W2122198158 hasRelatedWork W2171972466 @default.
- W2122198158 hasRelatedWork W2484268054 @default.
- W2122198158 hasRelatedWork W581826227 @default.
- W2122198158 hasRelatedWork W836593775 @default.
- W2122198158 hasRelatedWork W93506826 @default.
- W2122198158 isParatext "false" @default.
- W2122198158 isRetracted "false" @default.
- W2122198158 magId "2122198158" @default.
- W2122198158 workType "article" @default.