Matches in SemOpenAlex for { <https://semopenalex.org/work/W414296115> ?p ?o ?g. }
- W414296115 abstract "This paper presents a study on modeling and verifying the kernel of Real-Time Operating Systems (RTOS). The study will show advances in formally verifying such an RTOS both by refinement and by model checking approaches. This work fits in the context of Hoare’s verification challenge. Several real-time operating systems will be discussed including some commercial ones. The focus of the latter part of the paper will be on verifying FreeRTOS. The paper investigates a number of ways to verify this operating system. A preliminary set-up of verifying FreeRTOS using model checking is presented." @default.
- W414296115 created "2016-06-24" @default.
- W414296115 creator A5012939823 @default.
- W414296115 date "2010-12-31" @default.
- W414296115 modified "2023-09-23" @default.
- W414296115 title "Verifying FreeRTOS; a feasibility study" @default.
- W414296115 cites W132594803 @default.
- W414296115 cites W1476411550 @default.
- W414296115 cites W1498432697 @default.
- W414296115 cites W1498541342 @default.
- W414296115 cites W1504504841 @default.
- W414296115 cites W1507484312 @default.
- W414296115 cites W1518088995 @default.
- W414296115 cites W1533238174 @default.
- W414296115 cites W1541318173 @default.
- W414296115 cites W1557405201 @default.
- W414296115 cites W1559870885 @default.
- W414296115 cites W1563522785 @default.
- W414296115 cites W1576419065 @default.
- W414296115 cites W1577384748 @default.
- W414296115 cites W1588111424 @default.
- W414296115 cites W1782479956 @default.
- W414296115 cites W1903523362 @default.
- W414296115 cites W1919280204 @default.
- W414296115 cites W1943502734 @default.
- W414296115 cites W1995945562 @default.
- W414296115 cites W1998021290 @default.
- W414296115 cites W2002915275 @default.
- W414296115 cites W2019404692 @default.
- W414296115 cites W2045662659 @default.
- W414296115 cites W2047650147 @default.
- W414296115 cites W2088855835 @default.
- W414296115 cites W2105614525 @default.
- W414296115 cites W2109337044 @default.
- W414296115 cites W2125673566 @default.
- W414296115 cites W2127574686 @default.
- W414296115 cites W2129538349 @default.
- W414296115 cites W2130970533 @default.
- W414296115 cites W2141620629 @default.
- W414296115 cites W2144973245 @default.
- W414296115 cites W2163743319 @default.
- W414296115 cites W2171999426 @default.
- W414296115 cites W50039530 @default.
- W414296115 hasPublicationYear "2010" @default.
- W414296115 type Work @default.
- W414296115 sameAs 414296115 @default.
- W414296115 citedByCount "2" @default.
- W414296115 countsByYear W4142961152015 @default.
- W414296115 countsByYear W4142961152021 @default.
- W414296115 crossrefType "journal-article" @default.
- W414296115 hasAuthorship W414296115A5012939823 @default.
- W414296115 hasConcept C110251889 @default.
- W414296115 hasConcept C111498074 @default.
- W414296115 hasConcept C111919701 @default.
- W414296115 hasConcept C114614502 @default.
- W414296115 hasConcept C115903868 @default.
- W414296115 hasConcept C149635348 @default.
- W414296115 hasConcept C151730666 @default.
- W414296115 hasConcept C177264268 @default.
- W414296115 hasConcept C199360897 @default.
- W414296115 hasConcept C2779343474 @default.
- W414296115 hasConcept C28472234 @default.
- W414296115 hasConcept C33923547 @default.
- W414296115 hasConcept C41008148 @default.
- W414296115 hasConcept C74193536 @default.
- W414296115 hasConcept C86803240 @default.
- W414296115 hasConceptScore W414296115C110251889 @default.
- W414296115 hasConceptScore W414296115C111498074 @default.
- W414296115 hasConceptScore W414296115C111919701 @default.
- W414296115 hasConceptScore W414296115C114614502 @default.
- W414296115 hasConceptScore W414296115C115903868 @default.
- W414296115 hasConceptScore W414296115C149635348 @default.
- W414296115 hasConceptScore W414296115C151730666 @default.
- W414296115 hasConceptScore W414296115C177264268 @default.
- W414296115 hasConceptScore W414296115C199360897 @default.
- W414296115 hasConceptScore W414296115C2779343474 @default.
- W414296115 hasConceptScore W414296115C28472234 @default.
- W414296115 hasConceptScore W414296115C33923547 @default.
- W414296115 hasConceptScore W414296115C41008148 @default.
- W414296115 hasConceptScore W414296115C74193536 @default.
- W414296115 hasConceptScore W414296115C86803240 @default.
- W414296115 hasLocation W4142961151 @default.
- W414296115 hasOpenAccess W414296115 @default.
- W414296115 hasPrimaryLocation W4142961151 @default.
- W414296115 hasRelatedWork W1490452953 @default.
- W414296115 hasRelatedWork W1494141276 @default.
- W414296115 hasRelatedWork W1495714154 @default.
- W414296115 hasRelatedWork W155695461 @default.
- W414296115 hasRelatedWork W1846598642 @default.
- W414296115 hasRelatedWork W1963604750 @default.
- W414296115 hasRelatedWork W2016859492 @default.
- W414296115 hasRelatedWork W2080987629 @default.
- W414296115 hasRelatedWork W2125247621 @default.
- W414296115 hasRelatedWork W2146311082 @default.
- W414296115 hasRelatedWork W2148890976 @default.
- W414296115 hasRelatedWork W2181953352 @default.
- W414296115 hasRelatedWork W2241729248 @default.
- W414296115 hasRelatedWork W2260935460 @default.
- W414296115 hasRelatedWork W2302268773 @default.
- W414296115 hasRelatedWork W2386892903 @default.