Matches in SemOpenAlex for { <https://semopenalex.org/work/W3208710978> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W3208710978 abstract "Writing declarative models has numerous benefits, ranging from automated reasoning and correction of design-level properties be-fore systems are built, to automated testing and debugging of their implementations after they are built. Alloy is a declarative modeling language that is well suited for verifying system designs. A key strength of Alloy is its scenario-finding toolset, the Analyzer, which allows users to explore all valid scenarios that adhere to the model's constraints up to a user-provided scope. In Alloy, it is common for users to desire to first validate smaller scenarios, then once confident, move onto validating larger scenarios. However, the Analyzer only presents scenarios in the order they are discovered by the SAT solver. This paper presents Reach, an extension to the Analyzer which allows users to explore scenarios by size. Experimental results reveal Reach's enumeration improves performance while having the added benefit of maintaining a semi-sorted ordering of scenarios for the user. Moreover, we highlight Reach's ability to improve the performance of Alloy's analysis when the user makes incremental changes to the scope of the enumeration." @default.
- W3208710978 created "2021-11-08" @default.
- W3208710978 creator A5050971927 @default.
- W3208710978 creator A5087863036 @default.
- W3208710978 date "2021-10-22" @default.
- W3208710978 modified "2023-09-27" @default.
- W3208710978 title "REACH: Refining Alloy Scenarios by Scope" @default.
- W3208710978 cites W1507988282 @default.
- W3208710978 cites W1519503479 @default.
- W3208710978 cites W1538801056 @default.
- W3208710978 cites W1895387792 @default.
- W3208710978 cites W1990069336 @default.
- W3208710978 cites W2005129294 @default.
- W3208710978 cites W2049542183 @default.
- W3208710978 cites W2060440626 @default.
- W3208710978 cites W2061081083 @default.
- W3208710978 cites W2113089686 @default.
- W3208710978 cites W2118155805 @default.
- W3208710978 cites W2130514924 @default.
- W3208710978 cites W2162120832 @default.
- W3208710978 cites W2165413178 @default.
- W3208710978 cites W2166768964 @default.
- W3208710978 cites W2173679018 @default.
- W3208710978 cites W2546666763 @default.
- W3208710978 cites W2547023109 @default.
- W3208710978 cites W2614541902 @default.
- W3208710978 cites W2741400146 @default.
- W3208710978 cites W2758237334 @default.
- W3208710978 cites W2888243497 @default.
- W3208710978 cites W2899519917 @default.
- W3208710978 cites W2904129921 @default.
- W3208710978 cites W2925729479 @default.
- W3208710978 cites W2944138723 @default.
- W3208710978 cites W2962943581 @default.
- W3208710978 cites W2982655353 @default.
- W3208710978 cites W3020049827 @default.
- W3208710978 cites W3160805066 @default.
- W3208710978 cites W3162190912 @default.
- W3208710978 cites W72463235 @default.
- W3208710978 hasPublicationYear "2021" @default.
- W3208710978 type Work @default.
- W3208710978 sameAs 3208710978 @default.
- W3208710978 citedByCount "0" @default.
- W3208710978 crossrefType "posted-content" @default.
- W3208710978 hasAuthorship W3208710978A5050971927 @default.
- W3208710978 hasAuthorship W3208710978A5087863036 @default.
- W3208710978 hasConcept C111919701 @default.
- W3208710978 hasConcept C115903868 @default.
- W3208710978 hasConcept C158007255 @default.
- W3208710978 hasConcept C168065819 @default.
- W3208710978 hasConcept C199360897 @default.
- W3208710978 hasConcept C26517878 @default.
- W3208710978 hasConcept C26713055 @default.
- W3208710978 hasConcept C2778012447 @default.
- W3208710978 hasConcept C2778029271 @default.
- W3208710978 hasConcept C2778770139 @default.
- W3208710978 hasConcept C41008148 @default.
- W3208710978 hasConcept C76155785 @default.
- W3208710978 hasConceptScore W3208710978C111919701 @default.
- W3208710978 hasConceptScore W3208710978C115903868 @default.
- W3208710978 hasConceptScore W3208710978C158007255 @default.
- W3208710978 hasConceptScore W3208710978C168065819 @default.
- W3208710978 hasConceptScore W3208710978C199360897 @default.
- W3208710978 hasConceptScore W3208710978C26517878 @default.
- W3208710978 hasConceptScore W3208710978C26713055 @default.
- W3208710978 hasConceptScore W3208710978C2778012447 @default.
- W3208710978 hasConceptScore W3208710978C2778029271 @default.
- W3208710978 hasConceptScore W3208710978C2778770139 @default.
- W3208710978 hasConceptScore W3208710978C41008148 @default.
- W3208710978 hasConceptScore W3208710978C76155785 @default.
- W3208710978 hasLocation W32087109781 @default.
- W3208710978 hasOpenAccess W3208710978 @default.
- W3208710978 hasPrimaryLocation W32087109781 @default.
- W3208710978 hasRelatedWork W110994617 @default.
- W3208710978 hasRelatedWork W111257728 @default.
- W3208710978 hasRelatedWork W125683995 @default.
- W3208710978 hasRelatedWork W1882658337 @default.
- W3208710978 hasRelatedWork W2116168128 @default.
- W3208710978 hasRelatedWork W2126680000 @default.
- W3208710978 hasRelatedWork W2142925533 @default.
- W3208710978 hasRelatedWork W2168988222 @default.
- W3208710978 hasRelatedWork W2294671177 @default.
- W3208710978 hasRelatedWork W2337674744 @default.
- W3208710978 hasRelatedWork W2434956230 @default.
- W3208710978 hasRelatedWork W2520300889 @default.
- W3208710978 hasRelatedWork W2559963644 @default.
- W3208710978 hasRelatedWork W2599487769 @default.
- W3208710978 hasRelatedWork W2798340189 @default.
- W3208710978 hasRelatedWork W2885451306 @default.
- W3208710978 hasRelatedWork W3204350459 @default.
- W3208710978 hasRelatedWork W760334434 @default.
- W3208710978 hasRelatedWork W2291395408 @default.
- W3208710978 hasRelatedWork W2515962675 @default.
- W3208710978 isParatext "false" @default.
- W3208710978 isRetracted "false" @default.
- W3208710978 magId "3208710978" @default.
- W3208710978 workType "article" @default.