Matches in SemOpenAlex for { <https://semopenalex.org/work/W1587675319> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W1587675319 endingPage "796" @default.
- W1587675319 startingPage "795" @default.
- W1587675319 abstract "The HOL-UNITY verification system consists of a collection of tools for specifying and verifying UNITY programs and their properties. All the tools interface the theorem prover HOL for proving the properties of UNITY programs. In this way HOL-UNITY supports mechanised proving of correctness for parallel programs." @default.
- W1587675319 created "2016-06-24" @default.
- W1587675319 creator A5001922424 @default.
- W1587675319 creator A5035272262 @default.
- W1587675319 creator A5038889700 @default.
- W1587675319 creator A5051069389 @default.
- W1587675319 creator A5070501751 @default.
- W1587675319 date "1995-01-01" @default.
- W1587675319 modified "2023-09-25" @default.
- W1587675319 title "The HOL-UNITY verification system" @default.
- W1587675319 cites W1596395331 @default.
- W1587675319 cites W2035988561 @default.
- W1587675319 cites W2157118812 @default.
- W1587675319 doi "https://doi.org/10.1007/3-540-59293-8_238" @default.
- W1587675319 hasPublicationYear "1995" @default.
- W1587675319 type Work @default.
- W1587675319 sameAs 1587675319 @default.
- W1587675319 citedByCount "0" @default.
- W1587675319 crossrefType "book-chapter" @default.
- W1587675319 hasAuthorship W1587675319A5001922424 @default.
- W1587675319 hasAuthorship W1587675319A5035272262 @default.
- W1587675319 hasAuthorship W1587675319A5038889700 @default.
- W1587675319 hasAuthorship W1587675319A5051069389 @default.
- W1587675319 hasAuthorship W1587675319A5070501751 @default.
- W1587675319 hasBestOaLocation W15876753191 @default.
- W1587675319 hasConcept C111919701 @default.
- W1587675319 hasConcept C113843644 @default.
- W1587675319 hasConcept C129307140 @default.
- W1587675319 hasConcept C157915830 @default.
- W1587675319 hasConcept C17435882 @default.
- W1587675319 hasConcept C199360897 @default.
- W1587675319 hasConcept C206880738 @default.
- W1587675319 hasConcept C41008148 @default.
- W1587675319 hasConcept C55439883 @default.
- W1587675319 hasConceptScore W1587675319C111919701 @default.
- W1587675319 hasConceptScore W1587675319C113843644 @default.
- W1587675319 hasConceptScore W1587675319C129307140 @default.
- W1587675319 hasConceptScore W1587675319C157915830 @default.
- W1587675319 hasConceptScore W1587675319C17435882 @default.
- W1587675319 hasConceptScore W1587675319C199360897 @default.
- W1587675319 hasConceptScore W1587675319C206880738 @default.
- W1587675319 hasConceptScore W1587675319C41008148 @default.
- W1587675319 hasConceptScore W1587675319C55439883 @default.
- W1587675319 hasLocation W15876753191 @default.
- W1587675319 hasOpenAccess W1587675319 @default.
- W1587675319 hasPrimaryLocation W15876753191 @default.
- W1587675319 hasRelatedWork W1486283458 @default.
- W1587675319 hasRelatedWork W1587675319 @default.
- W1587675319 hasRelatedWork W1605128268 @default.
- W1587675319 hasRelatedWork W2002816392 @default.
- W1587675319 hasRelatedWork W2579160749 @default.
- W1587675319 hasRelatedWork W3125694439 @default.
- W1587675319 hasRelatedWork W34452851 @default.
- W1587675319 hasRelatedWork W4283765998 @default.
- W1587675319 hasRelatedWork W4310825045 @default.
- W1587675319 hasRelatedWork W2584255844 @default.
- W1587675319 isParatext "false" @default.
- W1587675319 isRetracted "false" @default.
- W1587675319 magId "1587675319" @default.
- W1587675319 workType "book-chapter" @default.