Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567952079> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1567952079 abstract "This paper presents FLAVERS, a finite state verification approach that analyzes whether concurrent or sequential programs satisfy user-defined correctness properties. In contrast to other finite- state verification techniques, FLAVERS is based on algorithms with low-order polynomial bounds on their running time. FLAVERS achieves this efficiency at the cost of precision. Users, however, can improve the precision of the results by selectively and judiciously incorporating additional semantic information into the analysis problem. The FLAVERS analysis approach has been implemented for programs written in Ada. We report on an empirical study of the performance of applying the FLAVERS/Ada tool set to a collection of multi-tasking Ada programs. This study indicates that sufficient precision for proving program properties can be achieved and that the cost for such analysis grows as a low-order polynomial in the size of the program." @default.
- W1567952079 created "2016-06-24" @default.
- W1567952079 creator A5010791481 @default.
- W1567952079 creator A5086757331 @default.
- W1567952079 date "1999-08-01" @default.
- W1567952079 modified "2023-09-23" @default.
- W1567952079 title "Flow Analysis for Verifying Specifications of Concurrent and Distributed Software" @default.
- W1567952079 hasPublicationYear "1999" @default.
- W1567952079 type Work @default.
- W1567952079 sameAs 1567952079 @default.
- W1567952079 citedByCount "7" @default.
- W1567952079 crossrefType "journal-article" @default.
- W1567952079 hasAuthorship W1567952079A5010791481 @default.
- W1567952079 hasAuthorship W1567952079A5086757331 @default.
- W1567952079 hasConcept C11413529 @default.
- W1567952079 hasConcept C167822520 @default.
- W1567952079 hasConcept C177264268 @default.
- W1567952079 hasConcept C199360897 @default.
- W1567952079 hasConcept C2777904410 @default.
- W1567952079 hasConcept C2780654840 @default.
- W1567952079 hasConcept C41008148 @default.
- W1567952079 hasConcept C48103436 @default.
- W1567952079 hasConcept C55439883 @default.
- W1567952079 hasConcept C80444323 @default.
- W1567952079 hasConcept C97686452 @default.
- W1567952079 hasConcept C98183937 @default.
- W1567952079 hasConceptScore W1567952079C11413529 @default.
- W1567952079 hasConceptScore W1567952079C167822520 @default.
- W1567952079 hasConceptScore W1567952079C177264268 @default.
- W1567952079 hasConceptScore W1567952079C199360897 @default.
- W1567952079 hasConceptScore W1567952079C2777904410 @default.
- W1567952079 hasConceptScore W1567952079C2780654840 @default.
- W1567952079 hasConceptScore W1567952079C41008148 @default.
- W1567952079 hasConceptScore W1567952079C48103436 @default.
- W1567952079 hasConceptScore W1567952079C55439883 @default.
- W1567952079 hasConceptScore W1567952079C80444323 @default.
- W1567952079 hasConceptScore W1567952079C97686452 @default.
- W1567952079 hasConceptScore W1567952079C98183937 @default.
- W1567952079 hasLocation W15679520791 @default.
- W1567952079 hasOpenAccess W1567952079 @default.
- W1567952079 hasPrimaryLocation W15679520791 @default.
- W1567952079 hasRelatedWork W1483868890 @default.
- W1567952079 hasRelatedWork W1503170978 @default.
- W1567952079 hasRelatedWork W1519361875 @default.
- W1567952079 hasRelatedWork W1574295141 @default.
- W1567952079 hasRelatedWork W1595657196 @default.
- W1567952079 hasRelatedWork W2022373880 @default.
- W1567952079 hasRelatedWork W2023546887 @default.
- W1567952079 hasRelatedWork W2034063260 @default.
- W1567952079 hasRelatedWork W2039549168 @default.
- W1567952079 hasRelatedWork W2048869618 @default.
- W1567952079 hasRelatedWork W2117189826 @default.
- W1567952079 hasRelatedWork W2117659504 @default.
- W1567952079 hasRelatedWork W2126362976 @default.
- W1567952079 hasRelatedWork W2135274583 @default.
- W1567952079 hasRelatedWork W2143238865 @default.
- W1567952079 hasRelatedWork W2169934995 @default.
- W1567952079 hasRelatedWork W2340735175 @default.
- W1567952079 hasRelatedWork W2755144723 @default.
- W1567952079 hasRelatedWork W2900584170 @default.
- W1567952079 hasRelatedWork W2955990267 @default.
- W1567952079 isParatext "false" @default.
- W1567952079 isRetracted "false" @default.
- W1567952079 magId "1567952079" @default.
- W1567952079 workType "article" @default.