Matches in SemOpenAlex for { <https://semopenalex.org/work/W2065967552> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2065967552 abstract "In this paper we present an original and useful way for specifying and verifying temporal properties of concurrent programs with our tool named Quasar. Quasar is based on ASIS and uses formal methods (model checking). Properties that can be checked are either general, like deadlock or fairness, or more context specific, referring to tasks states or to value of variables; properties are then expressed in temporal logic. In order to simplify the expression of these properties, we define some templates that can be instantiated with specific items of the programs. We demonstrate the usefulness of these templates by verifying subtle variations of the Peterson algorithm. Thus, although Quasar uses up-to-date formal methods it remains accessible to a large class of practitioners." @default.
- W2065967552 created "2016-06-24" @default.
- W2065967552 creator A5011406689 @default.
- W2065967552 creator A5017270154 @default.
- W2065967552 creator A5023649581 @default.
- W2065967552 creator A5068309035 @default.
- W2065967552 date "2003-12-07" @default.
- W2065967552 modified "2023-09-25" @default.
- W2065967552 title "Verifying linear time temporal logic properties of concurrent Ada programs with quasar" @default.
- W2065967552 cites W1512310098 @default.
- W2065967552 cites W1977102508 @default.
- W2065967552 cites W2048164876 @default.
- W2065967552 cites W2071213760 @default.
- W2065967552 cites W2095603938 @default.
- W2065967552 cites W2115309705 @default.
- W2065967552 cites W2135274583 @default.
- W2065967552 cites W2157597221 @default.
- W2065967552 cites W2159050141 @default.
- W2065967552 cites W4250504593 @default.
- W2065967552 doi "https://doi.org/10.1145/958420.958424" @default.
- W2065967552 hasPublicationYear "2003" @default.
- W2065967552 type Work @default.
- W2065967552 sameAs 2065967552 @default.
- W2065967552 citedByCount "8" @default.
- W2065967552 crossrefType "proceedings-article" @default.
- W2065967552 hasAuthorship W2065967552A5011406689 @default.
- W2065967552 hasAuthorship W2065967552A5017270154 @default.
- W2065967552 hasAuthorship W2065967552A5023649581 @default.
- W2065967552 hasAuthorship W2065967552A5068309035 @default.
- W2065967552 hasConcept C173608175 @default.
- W2065967552 hasConcept C199360897 @default.
- W2065967552 hasConcept C25016198 @default.
- W2065967552 hasConcept C41008148 @default.
- W2065967552 hasConcept C4777664 @default.
- W2065967552 hasConceptScore W2065967552C173608175 @default.
- W2065967552 hasConceptScore W2065967552C199360897 @default.
- W2065967552 hasConceptScore W2065967552C25016198 @default.
- W2065967552 hasConceptScore W2065967552C41008148 @default.
- W2065967552 hasConceptScore W2065967552C4777664 @default.
- W2065967552 hasLocation W20659675521 @default.
- W2065967552 hasLocation W20659675522 @default.
- W2065967552 hasLocation W20659675523 @default.
- W2065967552 hasOpenAccess W2065967552 @default.
- W2065967552 hasPrimaryLocation W20659675521 @default.
- W2065967552 hasRelatedWork W1489841730 @default.
- W2065967552 hasRelatedWork W1968932663 @default.
- W2065967552 hasRelatedWork W2097974511 @default.
- W2065967552 hasRelatedWork W2117107687 @default.
- W2065967552 hasRelatedWork W2774415564 @default.
- W2065967552 hasRelatedWork W3118236360 @default.
- W2065967552 hasRelatedWork W31428940 @default.
- W2065967552 hasRelatedWork W592475739 @default.
- W2065967552 hasRelatedWork W766712924 @default.
- W2065967552 hasRelatedWork W1949742178 @default.
- W2065967552 isParatext "false" @default.
- W2065967552 isRetracted "false" @default.
- W2065967552 magId "2065967552" @default.
- W2065967552 workType "article" @default.