Matches in SemOpenAlex for { <https://semopenalex.org/work/W133357462> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W133357462 endingPage "333" @default.
- W133357462 startingPage "328" @default.
- W133357462 abstract "Constructor-based Theorem Prover (CITP) is a tool for proving inductive properties of software systems specified with constructor-based logics. CITP is equipped with a default proof strategy for the automated verification of Observational Transitional Systems (OTS), but the area of applications is not restricted to OTS. The proof strategy can be customised by the user, or the basic tactics can be applied step-by-step. The tool features are exhibited on concrete examples, showing how to perform verification with CITP." @default.
- W133357462 created "2016-06-24" @default.
- W133357462 creator A5000964943 @default.
- W133357462 creator A5039623711 @default.
- W133357462 creator A5059360481 @default.
- W133357462 creator A5085958727 @default.
- W133357462 date "2013-01-01" @default.
- W133357462 modified "2023-10-18" @default.
- W133357462 title "Constructor-Based Inductive Theorem Prover" @default.
- W133357462 cites W1553511155 @default.
- W133357462 cites W1680684178 @default.
- W133357462 cites W2044923579 @default.
- W133357462 cites W2054448672 @default.
- W133357462 cites W2098963989 @default.
- W133357462 cites W2113351814 @default.
- W133357462 cites W29114720 @default.
- W133357462 doi "https://doi.org/10.1007/978-3-642-40206-7_26" @default.
- W133357462 hasPublicationYear "2013" @default.
- W133357462 type Work @default.
- W133357462 sameAs 133357462 @default.
- W133357462 citedByCount "11" @default.
- W133357462 countsByYear W1333574622014 @default.
- W133357462 countsByYear W1333574622015 @default.
- W133357462 countsByYear W1333574622016 @default.
- W133357462 countsByYear W1333574622017 @default.
- W133357462 countsByYear W1333574622018 @default.
- W133357462 countsByYear W1333574622023 @default.
- W133357462 crossrefType "book-chapter" @default.
- W133357462 hasAuthorship W133357462A5000964943 @default.
- W133357462 hasAuthorship W133357462A5039623711 @default.
- W133357462 hasAuthorship W133357462A5059360481 @default.
- W133357462 hasAuthorship W133357462A5085958727 @default.
- W133357462 hasConcept C108710211 @default.
- W133357462 hasConcept C118615104 @default.
- W133357462 hasConcept C145420912 @default.
- W133357462 hasConcept C159718280 @default.
- W133357462 hasConcept C199343813 @default.
- W133357462 hasConcept C199360897 @default.
- W133357462 hasConcept C206880738 @default.
- W133357462 hasConcept C2524010 @default.
- W133357462 hasConcept C2777686260 @default.
- W133357462 hasConcept C2993131915 @default.
- W133357462 hasConcept C33923547 @default.
- W133357462 hasConcept C41008148 @default.
- W133357462 hasConcept C71924100 @default.
- W133357462 hasConcept C88610354 @default.
- W133357462 hasConceptScore W133357462C108710211 @default.
- W133357462 hasConceptScore W133357462C118615104 @default.
- W133357462 hasConceptScore W133357462C145420912 @default.
- W133357462 hasConceptScore W133357462C159718280 @default.
- W133357462 hasConceptScore W133357462C199343813 @default.
- W133357462 hasConceptScore W133357462C199360897 @default.
- W133357462 hasConceptScore W133357462C206880738 @default.
- W133357462 hasConceptScore W133357462C2524010 @default.
- W133357462 hasConceptScore W133357462C2777686260 @default.
- W133357462 hasConceptScore W133357462C2993131915 @default.
- W133357462 hasConceptScore W133357462C33923547 @default.
- W133357462 hasConceptScore W133357462C41008148 @default.
- W133357462 hasConceptScore W133357462C71924100 @default.
- W133357462 hasConceptScore W133357462C88610354 @default.
- W133357462 hasLocation W1333574621 @default.
- W133357462 hasOpenAccess W133357462 @default.
- W133357462 hasPrimaryLocation W1333574621 @default.
- W133357462 hasRelatedWork W1515169568 @default.
- W133357462 hasRelatedWork W1555960401 @default.
- W133357462 hasRelatedWork W1861293286 @default.
- W133357462 hasRelatedWork W2206711905 @default.
- W133357462 hasRelatedWork W2759631754 @default.
- W133357462 hasRelatedWork W3017269122 @default.
- W133357462 hasRelatedWork W3043102507 @default.
- W133357462 hasRelatedWork W4245884879 @default.
- W133357462 hasRelatedWork W898277466 @default.
- W133357462 hasRelatedWork W94947182 @default.
- W133357462 isParatext "false" @default.
- W133357462 isRetracted "false" @default.
- W133357462 magId "133357462" @default.
- W133357462 workType "book-chapter" @default.