Matches in SemOpenAlex for { <https://semopenalex.org/work/W2945435258> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2945435258 abstract "Transition systems provide a natural way to specify and reason about the behaviour of discrete systems, and in particular about the computations that they may perform. This paper advances a verification method for transition systems whose reachable states are described explicitly by membership axioms. The proof technique is implemented in the Constructor-based Inductive Theorem Prover (CITP), a proof management tool built on top of a variation of conditional equational logic enhanced with many modern features. This approach complements the so-called OTS method, a verification procedure for observational transition systems that is already implemented in CITP." @default.
- W2945435258 created "2019-05-29" @default.
- W2945435258 creator A5014172247 @default.
- W2945435258 creator A5048720165 @default.
- W2945435258 creator A5085958727 @default.
- W2945435258 date "2018-12-01" @default.
- W2945435258 modified "2023-10-18" @default.
- W2945435258 title "Specification and Verification of Invariant Properties of Transition Systems" @default.
- W2945435258 cites W1546300044 @default.
- W2945435258 cites W1668251188 @default.
- W2945435258 cites W1825148885 @default.
- W2945435258 cites W1978358700 @default.
- W2945435258 cites W1991643265 @default.
- W2945435258 cites W2099168208 @default.
- W2945435258 cites W2116241214 @default.
- W2945435258 cites W2117189826 @default.
- W2945435258 cites W29114720 @default.
- W2945435258 cites W4247052886 @default.
- W2945435258 cites W566459404 @default.
- W2945435258 doi "https://doi.org/10.1109/apsec.2018.00024" @default.
- W2945435258 hasPublicationYear "2018" @default.
- W2945435258 type Work @default.
- W2945435258 sameAs 2945435258 @default.
- W2945435258 citedByCount "4" @default.
- W2945435258 countsByYear W29454352582019 @default.
- W2945435258 countsByYear W29454352582020 @default.
- W2945435258 countsByYear W29454352582022 @default.
- W2945435258 crossrefType "proceedings-article" @default.
- W2945435258 hasAuthorship W2945435258A5014172247 @default.
- W2945435258 hasAuthorship W2945435258A5048720165 @default.
- W2945435258 hasAuthorship W2945435258A5085958727 @default.
- W2945435258 hasConcept C108710211 @default.
- W2945435258 hasConcept C111498074 @default.
- W2945435258 hasConcept C11413529 @default.
- W2945435258 hasConcept C167729594 @default.
- W2945435258 hasConcept C17435882 @default.
- W2945435258 hasConcept C190470478 @default.
- W2945435258 hasConcept C199360897 @default.
- W2945435258 hasConcept C206880738 @default.
- W2945435258 hasConcept C25016198 @default.
- W2945435258 hasConcept C2524010 @default.
- W2945435258 hasConcept C2779167558 @default.
- W2945435258 hasConcept C33923547 @default.
- W2945435258 hasConcept C37914503 @default.
- W2945435258 hasConcept C41008148 @default.
- W2945435258 hasConcept C45374587 @default.
- W2945435258 hasConcept C80444323 @default.
- W2945435258 hasConceptScore W2945435258C108710211 @default.
- W2945435258 hasConceptScore W2945435258C111498074 @default.
- W2945435258 hasConceptScore W2945435258C11413529 @default.
- W2945435258 hasConceptScore W2945435258C167729594 @default.
- W2945435258 hasConceptScore W2945435258C17435882 @default.
- W2945435258 hasConceptScore W2945435258C190470478 @default.
- W2945435258 hasConceptScore W2945435258C199360897 @default.
- W2945435258 hasConceptScore W2945435258C206880738 @default.
- W2945435258 hasConceptScore W2945435258C25016198 @default.
- W2945435258 hasConceptScore W2945435258C2524010 @default.
- W2945435258 hasConceptScore W2945435258C2779167558 @default.
- W2945435258 hasConceptScore W2945435258C33923547 @default.
- W2945435258 hasConceptScore W2945435258C37914503 @default.
- W2945435258 hasConceptScore W2945435258C41008148 @default.
- W2945435258 hasConceptScore W2945435258C45374587 @default.
- W2945435258 hasConceptScore W2945435258C80444323 @default.
- W2945435258 hasLocation W29454352581 @default.
- W2945435258 hasOpenAccess W2945435258 @default.
- W2945435258 hasPrimaryLocation W29454352581 @default.
- W2945435258 hasRelatedWork W1533799546 @default.
- W2945435258 hasRelatedWork W1581671536 @default.
- W2945435258 hasRelatedWork W1606452969 @default.
- W2945435258 hasRelatedWork W1851512747 @default.
- W2945435258 hasRelatedWork W2097910887 @default.
- W2945435258 hasRelatedWork W2126407141 @default.
- W2945435258 hasRelatedWork W2155836586 @default.
- W2945435258 hasRelatedWork W2909396580 @default.
- W2945435258 hasRelatedWork W2945435258 @default.
- W2945435258 hasRelatedWork W47563837 @default.
- W2945435258 isParatext "false" @default.
- W2945435258 isRetracted "false" @default.
- W2945435258 magId "2945435258" @default.
- W2945435258 workType "article" @default.