Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313679782> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4313679782 abstract "The technology of formal software verification has made spectacular advances, but how much does it actually benefit the development of practical software? Considerable disagreement remains about the practicality of building systems with mechanically-checked proofs of correctness. Is this prospect confined to a few expensive, life-critical projects, or can the idea be applied to a wide segment of the software industry? To help answer this question, the present survey examines a range of projects, in various application areas, that have produced formally verified systems and deployed them for actual use. It considers the technologies used, the form of verification applied, the results obtained, and the lessons that can be drawn for the software industry at large and its ability to benefit from formal verification techniques and tools. Note: a short version of this paper is also available, covering in detail only a subset of the considered systems. The present version is intended for full reference." @default.
- W4313679782 created "2023-01-08" @default.
- W4313679782 creator A5044748328 @default.
- W4313679782 creator A5055680781 @default.
- W4313679782 creator A5060007556 @default.
- W4313679782 creator A5071231802 @default.
- W4313679782 creator A5086106256 @default.
- W4313679782 creator A5086167951 @default.
- W4313679782 creator A5087030856 @default.
- W4313679782 date "2023-08-17" @default.
- W4313679782 modified "2023-10-16" @default.
- W4313679782 title "Lessons from Formally Verified Deployed Software Systems (Extended version)" @default.
- W4313679782 doi "https://doi.org/10.48550/arxiv.2301.02206" @default.
- W4313679782 hasPublicationYear "2023" @default.
- W4313679782 type Work @default.
- W4313679782 citedByCount "0" @default.
- W4313679782 crossrefType "posted-content" @default.
- W4313679782 hasAuthorship W4313679782A5044748328 @default.
- W4313679782 hasAuthorship W4313679782A5055680781 @default.
- W4313679782 hasAuthorship W4313679782A5060007556 @default.
- W4313679782 hasAuthorship W4313679782A5071231802 @default.
- W4313679782 hasAuthorship W4313679782A5086106256 @default.
- W4313679782 hasAuthorship W4313679782A5086167951 @default.
- W4313679782 hasAuthorship W4313679782A5087030856 @default.
- W4313679782 hasBestOaLocation W43136797822 @default.
- W4313679782 hasConcept C105339364 @default.
- W4313679782 hasConcept C108710211 @default.
- W4313679782 hasConcept C111498074 @default.
- W4313679782 hasConcept C115903868 @default.
- W4313679782 hasConcept C127413603 @default.
- W4313679782 hasConcept C149091818 @default.
- W4313679782 hasConcept C186846655 @default.
- W4313679782 hasConcept C199360897 @default.
- W4313679782 hasConcept C201995342 @default.
- W4313679782 hasConcept C21547014 @default.
- W4313679782 hasConcept C2524010 @default.
- W4313679782 hasConcept C2777904410 @default.
- W4313679782 hasConcept C33054407 @default.
- W4313679782 hasConcept C33923547 @default.
- W4313679782 hasConcept C41008148 @default.
- W4313679782 hasConcept C48002344 @default.
- W4313679782 hasConcept C55439883 @default.
- W4313679782 hasConcept C75606506 @default.
- W4313679782 hasConceptScore W4313679782C105339364 @default.
- W4313679782 hasConceptScore W4313679782C108710211 @default.
- W4313679782 hasConceptScore W4313679782C111498074 @default.
- W4313679782 hasConceptScore W4313679782C115903868 @default.
- W4313679782 hasConceptScore W4313679782C127413603 @default.
- W4313679782 hasConceptScore W4313679782C149091818 @default.
- W4313679782 hasConceptScore W4313679782C186846655 @default.
- W4313679782 hasConceptScore W4313679782C199360897 @default.
- W4313679782 hasConceptScore W4313679782C201995342 @default.
- W4313679782 hasConceptScore W4313679782C21547014 @default.
- W4313679782 hasConceptScore W4313679782C2524010 @default.
- W4313679782 hasConceptScore W4313679782C2777904410 @default.
- W4313679782 hasConceptScore W4313679782C33054407 @default.
- W4313679782 hasConceptScore W4313679782C33923547 @default.
- W4313679782 hasConceptScore W4313679782C41008148 @default.
- W4313679782 hasConceptScore W4313679782C48002344 @default.
- W4313679782 hasConceptScore W4313679782C55439883 @default.
- W4313679782 hasConceptScore W4313679782C75606506 @default.
- W4313679782 hasLocation W43136797821 @default.
- W4313679782 hasLocation W43136797822 @default.
- W4313679782 hasLocation W43136797823 @default.
- W4313679782 hasOpenAccess W4313679782 @default.
- W4313679782 hasPrimaryLocation W43136797821 @default.
- W4313679782 hasRelatedWork W1523445204 @default.
- W4313679782 hasRelatedWork W1543167779 @default.
- W4313679782 hasRelatedWork W155099561 @default.
- W4313679782 hasRelatedWork W2117573403 @default.
- W4313679782 hasRelatedWork W2143813917 @default.
- W4313679782 hasRelatedWork W2181429460 @default.
- W4313679782 hasRelatedWork W2964297799 @default.
- W4313679782 hasRelatedWork W61995002 @default.
- W4313679782 hasRelatedWork W79064388 @default.
- W4313679782 hasRelatedWork W95959045 @default.
- W4313679782 isParatext "false" @default.
- W4313679782 isRetracted "false" @default.
- W4313679782 workType "article" @default.