Matches in SemOpenAlex for { <https://semopenalex.org/work/W2772563669> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2772563669 abstract "Formal verification serves as the theoretical basis for the engineering task of correctness and performance (quality) assurance. State of the art model checking, automatic specification refinement and theorem proving are employed to tackle the often undecidable (as imposed by the halting problem) task of complete verification. In this paper we formalize, prove and demonstrate a new unobtrusive way to test a system during runtime. Invocation of actions and examination of reaction of the system and components of the system are examined in run time in an holistic abstract manner, namely, the current state (e.g., state snapshot) the executable (e.g., program) and the environmental current condition (e.g., operating system, hypervisor) are examined by invoking actions and examining the reactions without influencing the actual execution semantics." @default.
- W2772563669 created "2017-12-22" @default.
- W2772563669 creator A5003085267 @default.
- W2772563669 creator A5060182415 @default.
- W2772563669 creator A5063268659 @default.
- W2772563669 date "2017-10-01" @default.
- W2772563669 modified "2023-09-27" @default.
- W2772563669 title "Programming reflexes (Extended abstract)" @default.
- W2772563669 cites W2036267700 @default.
- W2772563669 cites W2070908350 @default.
- W2772563669 cites W2077733196 @default.
- W2772563669 cites W2131053137 @default.
- W2772563669 cites W2139533136 @default.
- W2772563669 cites W2395688401 @default.
- W2772563669 cites W2426031434 @default.
- W2772563669 cites W24599197 @default.
- W2772563669 cites W2570764145 @default.
- W2772563669 cites W87635799 @default.
- W2772563669 doi "https://doi.org/10.1109/nca.2017.8171347" @default.
- W2772563669 hasPublicationYear "2017" @default.
- W2772563669 type Work @default.
- W2772563669 sameAs 2772563669 @default.
- W2772563669 citedByCount "0" @default.
- W2772563669 crossrefType "proceedings-article" @default.
- W2772563669 hasAuthorship W2772563669A5003085267 @default.
- W2772563669 hasAuthorship W2772563669A5060182415 @default.
- W2772563669 hasAuthorship W2772563669A5063268659 @default.
- W2772563669 hasConcept C110251889 @default.
- W2772563669 hasConcept C111498074 @default.
- W2772563669 hasConcept C153269930 @default.
- W2772563669 hasConcept C160145156 @default.
- W2772563669 hasConcept C184337299 @default.
- W2772563669 hasConcept C192034797 @default.
- W2772563669 hasConcept C199360897 @default.
- W2772563669 hasConcept C202973057 @default.
- W2772563669 hasConcept C41008148 @default.
- W2772563669 hasConcept C55439883 @default.
- W2772563669 hasConcept C80444323 @default.
- W2772563669 hasConceptScore W2772563669C110251889 @default.
- W2772563669 hasConceptScore W2772563669C111498074 @default.
- W2772563669 hasConceptScore W2772563669C153269930 @default.
- W2772563669 hasConceptScore W2772563669C160145156 @default.
- W2772563669 hasConceptScore W2772563669C184337299 @default.
- W2772563669 hasConceptScore W2772563669C192034797 @default.
- W2772563669 hasConceptScore W2772563669C199360897 @default.
- W2772563669 hasConceptScore W2772563669C202973057 @default.
- W2772563669 hasConceptScore W2772563669C41008148 @default.
- W2772563669 hasConceptScore W2772563669C55439883 @default.
- W2772563669 hasConceptScore W2772563669C80444323 @default.
- W2772563669 hasLocation W27725636691 @default.
- W2772563669 hasOpenAccess W2772563669 @default.
- W2772563669 hasPrimaryLocation W27725636691 @default.
- W2772563669 hasRelatedWork W133799517 @default.
- W2772563669 hasRelatedWork W1571812885 @default.
- W2772563669 hasRelatedWork W1799055964 @default.
- W2772563669 hasRelatedWork W1945315779 @default.
- W2772563669 hasRelatedWork W2111492220 @default.
- W2772563669 hasRelatedWork W2184967758 @default.
- W2772563669 hasRelatedWork W2407839835 @default.
- W2772563669 hasRelatedWork W2482968623 @default.
- W2772563669 hasRelatedWork W2521257414 @default.
- W2772563669 hasRelatedWork W2602814173 @default.
- W2772563669 hasRelatedWork W2753776292 @default.
- W2772563669 hasRelatedWork W2756404343 @default.
- W2772563669 hasRelatedWork W2807080833 @default.
- W2772563669 hasRelatedWork W2900434686 @default.
- W2772563669 hasRelatedWork W2905500136 @default.
- W2772563669 hasRelatedWork W2955025277 @default.
- W2772563669 hasRelatedWork W2996306923 @default.
- W2772563669 hasRelatedWork W3124093587 @default.
- W2772563669 hasRelatedWork W3133880597 @default.
- W2772563669 hasRelatedWork W3173487442 @default.
- W2772563669 isParatext "false" @default.
- W2772563669 isRetracted "false" @default.
- W2772563669 magId "2772563669" @default.
- W2772563669 workType "article" @default.