Matches in SemOpenAlex for { <https://semopenalex.org/work/W2119245890> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2119245890 endingPage "18" @default.
- W2119245890 startingPage "10" @default.
- W2119245890 abstract "with the increasing pressure on non-function attributes (security, safety and reliability) requirements of an operation system, high-confidence operation system is becoming more important. Formal verification is the only known way to guarantee that a system is free of programming errors. We research on formal verification of operation system kernel in system code level and take theorem proving and model checking as the main technical methods to resolve the key techniques of verifying operation system kernel in C code level. We present a case study to the verification of real-world C systems code derived from an implementation of μC/OS - II in the end." @default.
- W2119245890 created "2016-06-24" @default.
- W2119245890 creator A5044568877 @default.
- W2119245890 creator A5057377195 @default.
- W2119245890 creator A5070149523 @default.
- W2119245890 creator A5071278984 @default.
- W2119245890 date "2010-12-16" @default.
- W2119245890 modified "2023-10-17" @default.
- W2119245890 title "Code Formal Verification of Operation System" @default.
- W2119245890 cites W148142164 @default.
- W2119245890 cites W1497571013 @default.
- W2119245890 cites W1539432158 @default.
- W2119245890 cites W1571196178 @default.
- W2119245890 cites W1596552075 @default.
- W2119245890 cites W1607782211 @default.
- W2119245890 cites W1957415375 @default.
- W2119245890 cites W1995559387 @default.
- W2119245890 cites W2019404692 @default.
- W2119245890 cites W2076409494 @default.
- W2119245890 cites W2111706174 @default.
- W2119245890 cites W2128180740 @default.
- W2119245890 cites W2130970533 @default.
- W2119245890 cites W2136310957 @default.
- W2119245890 cites W2153551293 @default.
- W2119245890 cites W2158395308 @default.
- W2119245890 cites W2368034357 @default.
- W2119245890 cites W3146075203 @default.
- W2119245890 doi "https://doi.org/10.5815/ijcnis.2010.02.02" @default.
- W2119245890 hasPublicationYear "2010" @default.
- W2119245890 type Work @default.
- W2119245890 sameAs 2119245890 @default.
- W2119245890 citedByCount "1" @default.
- W2119245890 countsByYear W21192458902016 @default.
- W2119245890 crossrefType "journal-article" @default.
- W2119245890 hasAuthorship W2119245890A5044568877 @default.
- W2119245890 hasAuthorship W2119245890A5057377195 @default.
- W2119245890 hasAuthorship W2119245890A5070149523 @default.
- W2119245890 hasAuthorship W2119245890A5071278984 @default.
- W2119245890 hasBestOaLocation W21192458901 @default.
- W2119245890 hasConcept C111498074 @default.
- W2119245890 hasConcept C115903868 @default.
- W2119245890 hasConcept C177264268 @default.
- W2119245890 hasConcept C199360897 @default.
- W2119245890 hasConcept C2776760102 @default.
- W2119245890 hasConcept C41008148 @default.
- W2119245890 hasConceptScore W2119245890C111498074 @default.
- W2119245890 hasConceptScore W2119245890C115903868 @default.
- W2119245890 hasConceptScore W2119245890C177264268 @default.
- W2119245890 hasConceptScore W2119245890C199360897 @default.
- W2119245890 hasConceptScore W2119245890C2776760102 @default.
- W2119245890 hasConceptScore W2119245890C41008148 @default.
- W2119245890 hasIssue "2" @default.
- W2119245890 hasLocation W21192458901 @default.
- W2119245890 hasOpenAccess W2119245890 @default.
- W2119245890 hasPrimaryLocation W21192458901 @default.
- W2119245890 hasRelatedWork W2097082130 @default.
- W2119245890 hasRelatedWork W2109507516 @default.
- W2119245890 hasRelatedWork W2135396778 @default.
- W2119245890 hasRelatedWork W2151898527 @default.
- W2119245890 hasRelatedWork W2166247150 @default.
- W2119245890 hasRelatedWork W2384847609 @default.
- W2119245890 hasRelatedWork W2528717104 @default.
- W2119245890 hasRelatedWork W2899100898 @default.
- W2119245890 hasRelatedWork W4243252198 @default.
- W2119245890 hasRelatedWork W47563837 @default.
- W2119245890 hasVolume "2" @default.
- W2119245890 isParatext "false" @default.
- W2119245890 isRetracted "false" @default.
- W2119245890 magId "2119245890" @default.
- W2119245890 workType "article" @default.