Matches in SemOpenAlex for { <https://semopenalex.org/work/W1988939102> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1988939102 abstract "Muse is a verification system which extends the collection of tools developed by SRI for their Hierarchical Development Methodology (HDM). It enhances the SRI system by providing a capability for proving invariants and constraints for the state machine described by a SPECIAL specification. In particular, it enables one to use the HDM system to meet the requirements for formal verification in a National Computer Security Center Al evaluation of a secure operating system. In addition to the tools provided by SRI, Muse has a parser, a facility to handle multiple modules, a formula generator and a theorem prover. The theorem prover has a number of interesting features designed to facilitate human direction of the proving process." @default.
- W1988939102 created "2016-06-24" @default.
- W1988939102 creator A5006317856 @default.
- W1988939102 creator A5012283465 @default.
- W1988939102 creator A5033480156 @default.
- W1988939102 creator A5035629707 @default.
- W1988939102 date "1986-04-01" @default.
- W1988939102 modified "2023-09-25" @default.
- W1988939102 title "Muse - A Computer Assisted Verification System" @default.
- W1988939102 doi "https://doi.org/10.1109/sp.1986.10011" @default.
- W1988939102 hasPublicationYear "1986" @default.
- W1988939102 type Work @default.
- W1988939102 sameAs 1988939102 @default.
- W1988939102 citedByCount "0" @default.
- W1988939102 crossrefType "proceedings-article" @default.
- W1988939102 hasAuthorship W1988939102A5006317856 @default.
- W1988939102 hasAuthorship W1988939102A5012283465 @default.
- W1988939102 hasAuthorship W1988939102A5033480156 @default.
- W1988939102 hasAuthorship W1988939102A5035629707 @default.
- W1988939102 hasConcept C108710211 @default.
- W1988939102 hasConcept C110251889 @default.
- W1988939102 hasConcept C111498074 @default.
- W1988939102 hasConcept C115903868 @default.
- W1988939102 hasConcept C121332964 @default.
- W1988939102 hasConcept C142284323 @default.
- W1988939102 hasConcept C145243422 @default.
- W1988939102 hasConcept C149091818 @default.
- W1988939102 hasConcept C159718280 @default.
- W1988939102 hasConcept C163258240 @default.
- W1988939102 hasConcept C167822520 @default.
- W1988939102 hasConcept C186644900 @default.
- W1988939102 hasConcept C186846655 @default.
- W1988939102 hasConcept C199360897 @default.
- W1988939102 hasConcept C203265346 @default.
- W1988939102 hasConcept C206880738 @default.
- W1988939102 hasConcept C2524010 @default.
- W1988939102 hasConcept C2777904410 @default.
- W1988939102 hasConcept C2780992000 @default.
- W1988939102 hasConcept C33923547 @default.
- W1988939102 hasConcept C41008148 @default.
- W1988939102 hasConcept C62520636 @default.
- W1988939102 hasConcept C75606506 @default.
- W1988939102 hasConcept C80444323 @default.
- W1988939102 hasConcept C98045186 @default.
- W1988939102 hasConceptScore W1988939102C108710211 @default.
- W1988939102 hasConceptScore W1988939102C110251889 @default.
- W1988939102 hasConceptScore W1988939102C111498074 @default.
- W1988939102 hasConceptScore W1988939102C115903868 @default.
- W1988939102 hasConceptScore W1988939102C121332964 @default.
- W1988939102 hasConceptScore W1988939102C142284323 @default.
- W1988939102 hasConceptScore W1988939102C145243422 @default.
- W1988939102 hasConceptScore W1988939102C149091818 @default.
- W1988939102 hasConceptScore W1988939102C159718280 @default.
- W1988939102 hasConceptScore W1988939102C163258240 @default.
- W1988939102 hasConceptScore W1988939102C167822520 @default.
- W1988939102 hasConceptScore W1988939102C186644900 @default.
- W1988939102 hasConceptScore W1988939102C186846655 @default.
- W1988939102 hasConceptScore W1988939102C199360897 @default.
- W1988939102 hasConceptScore W1988939102C203265346 @default.
- W1988939102 hasConceptScore W1988939102C206880738 @default.
- W1988939102 hasConceptScore W1988939102C2524010 @default.
- W1988939102 hasConceptScore W1988939102C2777904410 @default.
- W1988939102 hasConceptScore W1988939102C2780992000 @default.
- W1988939102 hasConceptScore W1988939102C33923547 @default.
- W1988939102 hasConceptScore W1988939102C41008148 @default.
- W1988939102 hasConceptScore W1988939102C62520636 @default.
- W1988939102 hasConceptScore W1988939102C75606506 @default.
- W1988939102 hasConceptScore W1988939102C80444323 @default.
- W1988939102 hasConceptScore W1988939102C98045186 @default.
- W1988939102 hasLocation W19889391021 @default.
- W1988939102 hasOpenAccess W1988939102 @default.
- W1988939102 hasPrimaryLocation W19889391021 @default.
- W1988939102 hasRelatedWork W1507653811 @default.
- W1988939102 hasRelatedWork W1508581645 @default.
- W1988939102 hasRelatedWork W1527172800 @default.
- W1988939102 hasRelatedWork W1536930431 @default.
- W1988939102 hasRelatedWork W1557405201 @default.
- W1988939102 hasRelatedWork W1563319185 @default.
- W1988939102 hasRelatedWork W1836717328 @default.
- W1988939102 hasRelatedWork W184270447 @default.
- W1988939102 hasRelatedWork W1965473418 @default.
- W1988939102 hasRelatedWork W1983554217 @default.
- W1988939102 hasRelatedWork W1993168825 @default.
- W1988939102 hasRelatedWork W2022862275 @default.
- W1988939102 hasRelatedWork W2034526989 @default.
- W1988939102 hasRelatedWork W2064172314 @default.
- W1988939102 hasRelatedWork W2084715426 @default.
- W1988939102 hasRelatedWork W2112576127 @default.
- W1988939102 hasRelatedWork W2136357775 @default.
- W1988939102 hasRelatedWork W2166329046 @default.
- W1988939102 hasRelatedWork W3186572156 @default.
- W1988939102 hasRelatedWork W747351012 @default.
- W1988939102 isParatext "false" @default.
- W1988939102 isRetracted "false" @default.
- W1988939102 magId "1988939102" @default.
- W1988939102 workType "article" @default.