Matches in SemOpenAlex for { <https://semopenalex.org/work/W2109134137> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2109134137 abstract "In safety critical software failure can have a high price. Such software should be free of errors before it is put into operation. Application of formal methods in the software development life cycle helps to ensure that the software for safety critical missions are ultra reliable. PVS theorem prover, a formal method tool, can be used for the formal verification of software in ADA language for flight software application (ALFA.). This paper describes the modeling of ALFA programs for PVS theorem prover. An ALFA2PVS translator is developed which automatically converts the software in ALFA to PVS specification. By this approach the software can be verified formally with respect to underflow/overflow errors and divide by zero conditions without the actual execution of the code." @default.
- W2109134137 created "2016-06-24" @default.
- W2109134137 creator A5011155015 @default.
- W2109134137 creator A5050974069 @default.
- W2109134137 creator A5083944634 @default.
- W2109134137 date "2009-01-01" @default.
- W2109134137 modified "2023-09-27" @default.
- W2109134137 title "Modeling of ALFA Programs Using PVS Theorem Prover" @default.
- W2109134137 cites W1555960401 @default.
- W2109134137 cites W2081607157 @default.
- W2109134137 cites W2131933762 @default.
- W2109134137 cites W2786384482 @default.
- W2109134137 doi "https://doi.org/10.1109/artcom.2009.134" @default.
- W2109134137 hasPublicationYear "2009" @default.
- W2109134137 type Work @default.
- W2109134137 sameAs 2109134137 @default.
- W2109134137 citedByCount "1" @default.
- W2109134137 crossrefType "proceedings-article" @default.
- W2109134137 hasAuthorship W2109134137A5011155015 @default.
- W2109134137 hasAuthorship W2109134137A5050974069 @default.
- W2109134137 hasAuthorship W2109134137A5083944634 @default.
- W2109134137 hasBestOaLocation W21091341372 @default.
- W2109134137 hasConcept C105795698 @default.
- W2109134137 hasConcept C108710211 @default.
- W2109134137 hasConcept C109905503 @default.
- W2109134137 hasConcept C111498074 @default.
- W2109134137 hasConcept C115903868 @default.
- W2109134137 hasConcept C159718280 @default.
- W2109134137 hasConcept C186846655 @default.
- W2109134137 hasConcept C199360897 @default.
- W2109134137 hasConcept C206880738 @default.
- W2109134137 hasConcept C2524010 @default.
- W2109134137 hasConcept C2777904410 @default.
- W2109134137 hasConcept C3265923 @default.
- W2109134137 hasConcept C33054407 @default.
- W2109134137 hasConcept C33923547 @default.
- W2109134137 hasConcept C41008148 @default.
- W2109134137 hasConcept C48002344 @default.
- W2109134137 hasConcept C529173508 @default.
- W2109134137 hasConcept C75606506 @default.
- W2109134137 hasConceptScore W2109134137C105795698 @default.
- W2109134137 hasConceptScore W2109134137C108710211 @default.
- W2109134137 hasConceptScore W2109134137C109905503 @default.
- W2109134137 hasConceptScore W2109134137C111498074 @default.
- W2109134137 hasConceptScore W2109134137C115903868 @default.
- W2109134137 hasConceptScore W2109134137C159718280 @default.
- W2109134137 hasConceptScore W2109134137C186846655 @default.
- W2109134137 hasConceptScore W2109134137C199360897 @default.
- W2109134137 hasConceptScore W2109134137C206880738 @default.
- W2109134137 hasConceptScore W2109134137C2524010 @default.
- W2109134137 hasConceptScore W2109134137C2777904410 @default.
- W2109134137 hasConceptScore W2109134137C3265923 @default.
- W2109134137 hasConceptScore W2109134137C33054407 @default.
- W2109134137 hasConceptScore W2109134137C33923547 @default.
- W2109134137 hasConceptScore W2109134137C41008148 @default.
- W2109134137 hasConceptScore W2109134137C48002344 @default.
- W2109134137 hasConceptScore W2109134137C529173508 @default.
- W2109134137 hasConceptScore W2109134137C75606506 @default.
- W2109134137 hasLocation W21091341371 @default.
- W2109134137 hasLocation W21091341372 @default.
- W2109134137 hasLocation W21091341373 @default.
- W2109134137 hasOpenAccess W2109134137 @default.
- W2109134137 hasPrimaryLocation W21091341371 @default.
- W2109134137 hasRelatedWork W1540307291 @default.
- W2109134137 hasRelatedWork W2072171199 @default.
- W2109134137 hasRelatedWork W2081607157 @default.
- W2109134137 hasRelatedWork W2103972622 @default.
- W2109134137 hasRelatedWork W2109134137 @default.
- W2109134137 hasRelatedWork W2165807079 @default.
- W2109134137 hasRelatedWork W2201303437 @default.
- W2109134137 hasRelatedWork W2343496192 @default.
- W2109134137 hasRelatedWork W3155860078 @default.
- W2109134137 hasRelatedWork W61995002 @default.
- W2109134137 isParatext "false" @default.
- W2109134137 isRetracted "false" @default.
- W2109134137 magId "2109134137" @default.
- W2109134137 workType "article" @default.