Matches in SemOpenAlex for { <https://semopenalex.org/work/W2001007953> ?p ?o ?g. }
- W2001007953 endingPage "933" @default.
- W2001007953 startingPage "915" @default.
- W2001007953 abstract "Alloy is a declarative language for lightweight modelling and analysis of software. The core of the language is based on first-order relational logic, which offers an attractive balance between analysability and expressiveness. The logic is expressive enough to capture the intricacies of real systems, but is also simple enough to support fully automated analysis with the Alloy Analyzer. The Analyzer is built on a SAT-based constraint solver and provides automated simulation, checking and debugging of Alloy specifications. Because of its automated analysis and expressive logic, Alloy has been applied in a wide variety of domains. These applications have motivated a number of extensions both to the Alloy language and to its SAT-based analysis. This paper provides an overview of Alloy in the context of its three largest application domains, lightweight modelling, bounded code verification and test-case generation, and three recent application-driven extensions, an imperative extension to the language, a compiler to executable code and a proof-capable analyser based on SMT." @default.
- W2001007953 created "2016-06-24" @default.
- W2001007953 creator A5008408217 @default.
- W2001007953 creator A5061707651 @default.
- W2001007953 creator A5082623061 @default.
- W2001007953 creator A5088791029 @default.
- W2001007953 date "2013-07-08" @default.
- W2001007953 modified "2023-10-17" @default.
- W2001007953 title "Applications and extensions of Alloy: past, present and future" @default.
- W2001007953 cites W124433265 @default.
- W2001007953 cites W1482397304 @default.
- W2001007953 cites W1500006154 @default.
- W2001007953 cites W150016039 @default.
- W2001007953 cites W1507281497 @default.
- W2001007953 cites W1519503479 @default.
- W2001007953 cites W1519576952 @default.
- W2001007953 cites W1526059675 @default.
- W2001007953 cites W1527892282 @default.
- W2001007953 cites W1534850143 @default.
- W2001007953 cites W1536511644 @default.
- W2001007953 cites W1544621933 @default.
- W2001007953 cites W1546692412 @default.
- W2001007953 cites W1568222232 @default.
- W2001007953 cites W1579618781 @default.
- W2001007953 cites W1595209293 @default.
- W2001007953 cites W1852929912 @default.
- W2001007953 cites W1988537734 @default.
- W2001007953 cites W1994832226 @default.
- W2001007953 cites W2009715851 @default.
- W2001007953 cites W2011308078 @default.
- W2001007953 cites W2016432059 @default.
- W2001007953 cites W2024495465 @default.
- W2001007953 cites W2034204026 @default.
- W2001007953 cites W2042546688 @default.
- W2001007953 cites W2091085450 @default.
- W2001007953 cites W2095482919 @default.
- W2001007953 cites W2099753358 @default.
- W2001007953 cites W2104961083 @default.
- W2001007953 cites W2105421626 @default.
- W2001007953 cites W2111543139 @default.
- W2001007953 cites W2112447468 @default.
- W2001007953 cites W2133496820 @default.
- W2001007953 cites W2155621670 @default.
- W2001007953 cites W2160837764 @default.
- W2001007953 cites W2161426357 @default.
- W2001007953 cites W2162449808 @default.
- W2001007953 cites W2167572480 @default.
- W2001007953 cites W2197097696 @default.
- W2001007953 cites W2945526390 @default.
- W2001007953 cites W4239146630 @default.
- W2001007953 cites W4249196662 @default.
- W2001007953 cites W4254354208 @default.
- W2001007953 doi "https://doi.org/10.1017/s0960129512000291" @default.
- W2001007953 hasPublicationYear "2013" @default.
- W2001007953 type Work @default.
- W2001007953 sameAs 2001007953 @default.
- W2001007953 citedByCount "13" @default.
- W2001007953 countsByYear W20010079532016 @default.
- W2001007953 countsByYear W20010079532017 @default.
- W2001007953 countsByYear W20010079532018 @default.
- W2001007953 countsByYear W20010079532019 @default.
- W2001007953 countsByYear W20010079532020 @default.
- W2001007953 countsByYear W20010079532021 @default.
- W2001007953 countsByYear W20010079532022 @default.
- W2001007953 crossrefType "journal-article" @default.
- W2001007953 hasAuthorship W2001007953A5008408217 @default.
- W2001007953 hasAuthorship W2001007953A5061707651 @default.
- W2001007953 hasAuthorship W2001007953A5082623061 @default.
- W2001007953 hasAuthorship W2001007953A5088791029 @default.
- W2001007953 hasConcept C160145156 @default.
- W2001007953 hasConcept C168065819 @default.
- W2001007953 hasConcept C169590947 @default.
- W2001007953 hasConcept C179603123 @default.
- W2001007953 hasConcept C199360897 @default.
- W2001007953 hasConcept C25016198 @default.
- W2001007953 hasConcept C2777904410 @default.
- W2001007953 hasConcept C41008148 @default.
- W2001007953 hasConceptScore W2001007953C160145156 @default.
- W2001007953 hasConceptScore W2001007953C168065819 @default.
- W2001007953 hasConceptScore W2001007953C169590947 @default.
- W2001007953 hasConceptScore W2001007953C179603123 @default.
- W2001007953 hasConceptScore W2001007953C199360897 @default.
- W2001007953 hasConceptScore W2001007953C25016198 @default.
- W2001007953 hasConceptScore W2001007953C2777904410 @default.
- W2001007953 hasConceptScore W2001007953C41008148 @default.
- W2001007953 hasIssue "4" @default.
- W2001007953 hasLocation W20010079531 @default.
- W2001007953 hasOpenAccess W2001007953 @default.
- W2001007953 hasPrimaryLocation W20010079531 @default.
- W2001007953 hasRelatedWork W1497385637 @default.
- W2001007953 hasRelatedWork W1498982577 @default.
- W2001007953 hasRelatedWork W1558134444 @default.
- W2001007953 hasRelatedWork W1601811574 @default.
- W2001007953 hasRelatedWork W1860178220 @default.
- W2001007953 hasRelatedWork W1882578135 @default.
- W2001007953 hasRelatedWork W2155380397 @default.
- W2001007953 hasRelatedWork W2192862863 @default.
- W2001007953 hasRelatedWork W2369288331 @default.