Matches in SemOpenAlex for { <https://semopenalex.org/work/W2358054991> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2358054991 abstract "It is difficult to describe the correctness and security of the operate system(OS) by quantitative analysis.Formal method is the acknowledged standard one in design and verification for OS.Based on the operate system object semantics model(OSOSM),we designed and verified the interruption mechanism of microkernel architecture using formal method,which was realized on our self-implemented verified trusted operate system(VTOS).Meanwhile,we used the theorem prover Isabelle/HOL to formally describe the design process,and verify the integrality of the interruption mechanism of VTOS.Our research plays certain referential significance on formal design and verification of OS." @default.
- W2358054991 created "2016-06-24" @default.
- W2358054991 creator A5024772368 @default.
- W2358054991 date "2013-01-01" @default.
- W2358054991 modified "2023-09-27" @default.
- W2358054991 title "Formal Design and Verification of Interrupt Mechanism Based on Microkernel" @default.
- W2358054991 hasPublicationYear "2013" @default.
- W2358054991 type Work @default.
- W2358054991 sameAs 2358054991 @default.
- W2358054991 citedByCount "0" @default.
- W2358054991 crossrefType "journal-article" @default.
- W2358054991 hasAuthorship W2358054991A5024772368 @default.
- W2358054991 hasConcept C110251889 @default.
- W2358054991 hasConcept C111498074 @default.
- W2358054991 hasConcept C149635348 @default.
- W2358054991 hasConcept C173018170 @default.
- W2358054991 hasConcept C17435882 @default.
- W2358054991 hasConcept C199360897 @default.
- W2358054991 hasConcept C206880738 @default.
- W2358054991 hasConcept C2777127024 @default.
- W2358054991 hasConcept C41008148 @default.
- W2358054991 hasConcept C41661131 @default.
- W2358054991 hasConcept C55439883 @default.
- W2358054991 hasConcept C62460635 @default.
- W2358054991 hasConcept C75606506 @default.
- W2358054991 hasConcept C98045186 @default.
- W2358054991 hasConceptScore W2358054991C110251889 @default.
- W2358054991 hasConceptScore W2358054991C111498074 @default.
- W2358054991 hasConceptScore W2358054991C149635348 @default.
- W2358054991 hasConceptScore W2358054991C173018170 @default.
- W2358054991 hasConceptScore W2358054991C17435882 @default.
- W2358054991 hasConceptScore W2358054991C199360897 @default.
- W2358054991 hasConceptScore W2358054991C206880738 @default.
- W2358054991 hasConceptScore W2358054991C2777127024 @default.
- W2358054991 hasConceptScore W2358054991C41008148 @default.
- W2358054991 hasConceptScore W2358054991C41661131 @default.
- W2358054991 hasConceptScore W2358054991C55439883 @default.
- W2358054991 hasConceptScore W2358054991C62460635 @default.
- W2358054991 hasConceptScore W2358054991C75606506 @default.
- W2358054991 hasConceptScore W2358054991C98045186 @default.
- W2358054991 hasLocation W23580549911 @default.
- W2358054991 hasOpenAccess W2358054991 @default.
- W2358054991 hasPrimaryLocation W23580549911 @default.
- W2358054991 hasRelatedWork W1479987225 @default.
- W2358054991 hasRelatedWork W1487860092 @default.
- W2358054991 hasRelatedWork W1556316449 @default.
- W2358054991 hasRelatedWork W1606504530 @default.
- W2358054991 hasRelatedWork W1790656461 @default.
- W2358054991 hasRelatedWork W2105182891 @default.
- W2358054991 hasRelatedWork W2115240397 @default.
- W2358054991 hasRelatedWork W2117958841 @default.
- W2358054991 hasRelatedWork W2119245890 @default.
- W2358054991 hasRelatedWork W2125247621 @default.
- W2358054991 hasRelatedWork W2151755292 @default.
- W2358054991 hasRelatedWork W2241729248 @default.
- W2358054991 hasRelatedWork W2380038888 @default.
- W2358054991 hasRelatedWork W2386892903 @default.
- W2358054991 hasRelatedWork W2509521284 @default.
- W2358054991 hasRelatedWork W2749272025 @default.
- W2358054991 hasRelatedWork W2766164505 @default.
- W2358054991 hasRelatedWork W2972200143 @default.
- W2358054991 hasRelatedWork W2416062364 @default.
- W2358054991 hasRelatedWork W2730810693 @default.
- W2358054991 isParatext "false" @default.
- W2358054991 isRetracted "false" @default.
- W2358054991 magId "2358054991" @default.
- W2358054991 workType "article" @default.