Matches in SemOpenAlex for { <https://semopenalex.org/work/W2196883605> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2196883605 abstract "Summarises some experience of the use of Prolog-based tools in the analysis and formal verification of software for aerospace applications. The author firstly reviews tools used for the analysis of some Z8002 assembly code software for use in a jet engine fuel control unit. After this, he considers more recent tool development to support the analysis of Motorola 68020 assembly code in an aerospace context. As a final example of the use of Prolog, he considers the additional tools which are being developed for use with the SPARK Examiner Version B, to support formal verification of SPARK source code. (SPARK-the SPADE Ada Kernel-is a subset of Ada already in use in a number of aerospace projects). He then concludes with a brief review of some advantages and disadvantages of Prolog for such tools. >" @default.
- W2196883605 created "2016-06-24" @default.
- W2196883605 creator A5048097213 @default.
- W2196883605 date "1992-01-21" @default.
- W2196883605 modified "2023-09-25" @default.
- W2196883605 title "Applications of Prolog tools in the validation of aerospace software" @default.
- W2196883605 hasPublicationYear "1992" @default.
- W2196883605 type Work @default.
- W2196883605 sameAs 2196883605 @default.
- W2196883605 citedByCount "0" @default.
- W2196883605 crossrefType "journal-article" @default.
- W2196883605 hasAuthorship W2196883605A5048097213 @default.
- W2196883605 hasConcept C115903868 @default.
- W2196883605 hasConcept C127413603 @default.
- W2196883605 hasConcept C146978453 @default.
- W2196883605 hasConcept C151730666 @default.
- W2196883605 hasConcept C167740415 @default.
- W2196883605 hasConcept C199360897 @default.
- W2196883605 hasConcept C201995342 @default.
- W2196883605 hasConcept C2777904410 @default.
- W2196883605 hasConcept C2779343474 @default.
- W2196883605 hasConcept C2781215313 @default.
- W2196883605 hasConcept C41008148 @default.
- W2196883605 hasConcept C81721847 @default.
- W2196883605 hasConcept C86803240 @default.
- W2196883605 hasConceptScore W2196883605C115903868 @default.
- W2196883605 hasConceptScore W2196883605C127413603 @default.
- W2196883605 hasConceptScore W2196883605C146978453 @default.
- W2196883605 hasConceptScore W2196883605C151730666 @default.
- W2196883605 hasConceptScore W2196883605C167740415 @default.
- W2196883605 hasConceptScore W2196883605C199360897 @default.
- W2196883605 hasConceptScore W2196883605C201995342 @default.
- W2196883605 hasConceptScore W2196883605C2777904410 @default.
- W2196883605 hasConceptScore W2196883605C2779343474 @default.
- W2196883605 hasConceptScore W2196883605C2781215313 @default.
- W2196883605 hasConceptScore W2196883605C41008148 @default.
- W2196883605 hasConceptScore W2196883605C81721847 @default.
- W2196883605 hasConceptScore W2196883605C86803240 @default.
- W2196883605 hasLocation W21968836051 @default.
- W2196883605 hasOpenAccess W2196883605 @default.
- W2196883605 hasPrimaryLocation W21968836051 @default.
- W2196883605 hasRelatedWork W1536921120 @default.
- W2196883605 hasRelatedWork W1642730893 @default.
- W2196883605 hasRelatedWork W1980969509 @default.
- W2196883605 hasRelatedWork W1991508489 @default.
- W2196883605 hasRelatedWork W2007836232 @default.
- W2196883605 hasRelatedWork W2073153654 @default.
- W2196883605 hasRelatedWork W2080969015 @default.
- W2196883605 hasRelatedWork W2133189141 @default.
- W2196883605 hasRelatedWork W2148380285 @default.
- W2196883605 hasRelatedWork W2158413864 @default.
- W2196883605 hasRelatedWork W2162568035 @default.
- W2196883605 hasRelatedWork W2290307362 @default.
- W2196883605 hasRelatedWork W2545405826 @default.
- W2196883605 hasRelatedWork W2630264676 @default.
- W2196883605 hasRelatedWork W44939298 @default.
- W2196883605 hasRelatedWork W786531030 @default.
- W2196883605 hasRelatedWork W816983831 @default.
- W2196883605 hasRelatedWork W820752735 @default.
- W2196883605 hasRelatedWork W1540426477 @default.
- W2196883605 hasRelatedWork W2558285484 @default.
- W2196883605 isParatext "false" @default.
- W2196883605 isRetracted "false" @default.
- W2196883605 magId "2196883605" @default.
- W2196883605 workType "article" @default.