Matches in SemOpenAlex for { <https://semopenalex.org/work/W1551246917> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1551246917 endingPage "16" @default.
- W1551246917 startingPage "1" @default.
- W1551246917 abstract "We propose a combination of model checking and interactive theorem proving where the theorem prover is used to represent finite and infinite state systems, reason about them compositionally and reduce them to small finite systems by verified abstractions. As an example we verify a version of the Alternating Bit Protocol with unbounded lossy and duplicating channels: the channels are abstracted by interactive proof and the resulting finite state system is model checked." @default.
- W1551246917 created "2016-06-24" @default.
- W1551246917 creator A5062636889 @default.
- W1551246917 creator A5083491388 @default.
- W1551246917 date "1995-01-01" @default.
- W1551246917 modified "2023-10-15" @default.
- W1551246917 title "Combining model checking and deduction for I/O- automata" @default.
- W1551246917 cites W138292667 @default.
- W1551246917 cites W1498539321 @default.
- W1551246917 cites W1499481996 @default.
- W1551246917 cites W1514983780 @default.
- W1551246917 cites W1543208154 @default.
- W1551246917 cites W1978358700 @default.
- W1551246917 cites W1991956281 @default.
- W1551246917 cites W2012001501 @default.
- W1551246917 cites W2088184419 @default.
- W1551246917 cites W2114092850 @default.
- W1551246917 cites W4247648311 @default.
- W1551246917 doi "https://doi.org/10.1007/3-540-60630-0_1" @default.
- W1551246917 hasPublicationYear "1995" @default.
- W1551246917 type Work @default.
- W1551246917 sameAs 1551246917 @default.
- W1551246917 citedByCount "39" @default.
- W1551246917 countsByYear W15512469172014 @default.
- W1551246917 countsByYear W15512469172016 @default.
- W1551246917 countsByYear W15512469172018 @default.
- W1551246917 crossrefType "book-chapter" @default.
- W1551246917 hasAuthorship W1551246917A5062636889 @default.
- W1551246917 hasAuthorship W1551246917A5083491388 @default.
- W1551246917 hasBestOaLocation W15512469171 @default.
- W1551246917 hasConcept C108710211 @default.
- W1551246917 hasConcept C110251889 @default.
- W1551246917 hasConcept C112505250 @default.
- W1551246917 hasConcept C11413529 @default.
- W1551246917 hasConcept C118615104 @default.
- W1551246917 hasConcept C13766981 @default.
- W1551246917 hasConcept C142724271 @default.
- W1551246917 hasConcept C154945302 @default.
- W1551246917 hasConcept C159718280 @default.
- W1551246917 hasConcept C165021410 @default.
- W1551246917 hasConcept C167822520 @default.
- W1551246917 hasConcept C199343813 @default.
- W1551246917 hasConcept C199360897 @default.
- W1551246917 hasConcept C204787440 @default.
- W1551246917 hasConcept C206880738 @default.
- W1551246917 hasConcept C2524010 @default.
- W1551246917 hasConcept C2777686260 @default.
- W1551246917 hasConcept C2780385302 @default.
- W1551246917 hasConcept C33923547 @default.
- W1551246917 hasConcept C41008148 @default.
- W1551246917 hasConcept C48103436 @default.
- W1551246917 hasConcept C71924100 @default.
- W1551246917 hasConcept C80444323 @default.
- W1551246917 hasConceptScore W1551246917C108710211 @default.
- W1551246917 hasConceptScore W1551246917C110251889 @default.
- W1551246917 hasConceptScore W1551246917C112505250 @default.
- W1551246917 hasConceptScore W1551246917C11413529 @default.
- W1551246917 hasConceptScore W1551246917C118615104 @default.
- W1551246917 hasConceptScore W1551246917C13766981 @default.
- W1551246917 hasConceptScore W1551246917C142724271 @default.
- W1551246917 hasConceptScore W1551246917C154945302 @default.
- W1551246917 hasConceptScore W1551246917C159718280 @default.
- W1551246917 hasConceptScore W1551246917C165021410 @default.
- W1551246917 hasConceptScore W1551246917C167822520 @default.
- W1551246917 hasConceptScore W1551246917C199343813 @default.
- W1551246917 hasConceptScore W1551246917C199360897 @default.
- W1551246917 hasConceptScore W1551246917C204787440 @default.
- W1551246917 hasConceptScore W1551246917C206880738 @default.
- W1551246917 hasConceptScore W1551246917C2524010 @default.
- W1551246917 hasConceptScore W1551246917C2777686260 @default.
- W1551246917 hasConceptScore W1551246917C2780385302 @default.
- W1551246917 hasConceptScore W1551246917C33923547 @default.
- W1551246917 hasConceptScore W1551246917C41008148 @default.
- W1551246917 hasConceptScore W1551246917C48103436 @default.
- W1551246917 hasConceptScore W1551246917C71924100 @default.
- W1551246917 hasConceptScore W1551246917C80444323 @default.
- W1551246917 hasLocation W15512469171 @default.
- W1551246917 hasLocation W15512469172 @default.
- W1551246917 hasOpenAccess W1551246917 @default.
- W1551246917 hasPrimaryLocation W15512469171 @default.
- W1551246917 hasRelatedWork W1479802113 @default.
- W1551246917 hasRelatedWork W1551246917 @default.
- W1551246917 hasRelatedWork W1903527352 @default.
- W1551246917 hasRelatedWork W1983371115 @default.
- W1551246917 hasRelatedWork W2128718940 @default.
- W1551246917 hasRelatedWork W2950961618 @default.
- W1551246917 hasRelatedWork W3140438612 @default.
- W1551246917 hasRelatedWork W4297063300 @default.
- W1551246917 hasRelatedWork W571996087 @default.
- W1551246917 hasRelatedWork W2793853001 @default.
- W1551246917 isParatext "false" @default.
- W1551246917 isRetracted "false" @default.
- W1551246917 magId "1551246917" @default.
- W1551246917 workType "book-chapter" @default.