Matches in SemOpenAlex for { <https://semopenalex.org/work/W3022572449> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W3022572449 endingPage "6" @default.
- W3022572449 startingPage "1" @default.
- W3022572449 abstract "Two approaches to the correctness verification of real-time programs are presented. The first approach, static verification, corresponds to the correctness notion in systems programming, that is informally described by the software standard (ANSI/IEEE, 1983). The second one, dynamic correction, is a generalization of the exceptions handling idea (Anderson, 1981). The formal construction is based on the coupled process notion and the so-called local testability theorem. Automatic correctness verification system and a structure of dynamic correction module result from the formal investigations." @default.
- W3022572449 created "2020-05-13" @default.
- W3022572449 creator A5072853315 @default.
- W3022572449 date "1988-01-01" @default.
- W3022572449 modified "2023-09-27" @default.
- W3022572449 title "Correctness verification of real-time programs" @default.
- W3022572449 cites W1978469611 @default.
- W3022572449 cites W2031506341 @default.
- W3022572449 cites W2061093638 @default.
- W3022572449 doi "https://doi.org/10.1016/0066-4138(88)90001-8" @default.
- W3022572449 hasPublicationYear "1988" @default.
- W3022572449 type Work @default.
- W3022572449 sameAs 3022572449 @default.
- W3022572449 citedByCount "1" @default.
- W3022572449 crossrefType "journal-article" @default.
- W3022572449 hasAuthorship W3022572449A5072853315 @default.
- W3022572449 hasConcept C111498074 @default.
- W3022572449 hasConcept C11413529 @default.
- W3022572449 hasConcept C127413603 @default.
- W3022572449 hasConcept C134306372 @default.
- W3022572449 hasConcept C149091818 @default.
- W3022572449 hasConcept C177148314 @default.
- W3022572449 hasConcept C186846655 @default.
- W3022572449 hasConcept C187250869 @default.
- W3022572449 hasConcept C199360897 @default.
- W3022572449 hasConcept C200601418 @default.
- W3022572449 hasConcept C2777904410 @default.
- W3022572449 hasConcept C33054407 @default.
- W3022572449 hasConcept C33923547 @default.
- W3022572449 hasConcept C41008148 @default.
- W3022572449 hasConcept C51234621 @default.
- W3022572449 hasConcept C55439883 @default.
- W3022572449 hasConcept C80444323 @default.
- W3022572449 hasConceptScore W3022572449C111498074 @default.
- W3022572449 hasConceptScore W3022572449C11413529 @default.
- W3022572449 hasConceptScore W3022572449C127413603 @default.
- W3022572449 hasConceptScore W3022572449C134306372 @default.
- W3022572449 hasConceptScore W3022572449C149091818 @default.
- W3022572449 hasConceptScore W3022572449C177148314 @default.
- W3022572449 hasConceptScore W3022572449C186846655 @default.
- W3022572449 hasConceptScore W3022572449C187250869 @default.
- W3022572449 hasConceptScore W3022572449C199360897 @default.
- W3022572449 hasConceptScore W3022572449C200601418 @default.
- W3022572449 hasConceptScore W3022572449C2777904410 @default.
- W3022572449 hasConceptScore W3022572449C33054407 @default.
- W3022572449 hasConceptScore W3022572449C33923547 @default.
- W3022572449 hasConceptScore W3022572449C41008148 @default.
- W3022572449 hasConceptScore W3022572449C51234621 @default.
- W3022572449 hasConceptScore W3022572449C55439883 @default.
- W3022572449 hasConceptScore W3022572449C80444323 @default.
- W3022572449 hasLocation W30225724491 @default.
- W3022572449 hasOpenAccess W3022572449 @default.
- W3022572449 hasPrimaryLocation W30225724491 @default.
- W3022572449 hasRelatedWork W128837028 @default.
- W3022572449 hasRelatedWork W1563456403 @default.
- W3022572449 hasRelatedWork W2021543325 @default.
- W3022572449 hasRelatedWork W2108860137 @default.
- W3022572449 hasRelatedWork W2162615969 @default.
- W3022572449 hasRelatedWork W2809618173 @default.
- W3022572449 hasRelatedWork W2913530642 @default.
- W3022572449 hasRelatedWork W3022572449 @default.
- W3022572449 hasRelatedWork W4205300843 @default.
- W3022572449 hasRelatedWork W47563837 @default.
- W3022572449 hasVolume "14" @default.
- W3022572449 isParatext "false" @default.
- W3022572449 isRetracted "false" @default.
- W3022572449 magId "3022572449" @default.
- W3022572449 workType "article" @default.