Matches in SemOpenAlex for { <https://semopenalex.org/work/W2013136645> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2013136645 endingPage "42" @default.
- W2013136645 startingPage "36" @default.
- W2013136645 abstract "Avestan is a declarative modelling language compatible with SMT-LIB. SMT-LIB is an standard input language that is supported by the state-of-the-art satisfiability modulo theory solvers (SMT solvers). The recent advances in SMT solvers have introduced them as efficient analysis tools; as a result, they are becoming more popular in the verification and certification of digital products. SMT-LIB was designed to be machine readable rather than human readable. In this paper, we present Avestan, a declarative modelling language that is intended to be analyzed by SMT solvers and readable by humans. An Avestan model is translated to an SMT-LIB model so that it can be analyzed by different SMT solvers. Avestan has relational constructs that are heavily inspired by Alloy; we added these constructs to increase the readability of an Avestan model." @default.
- W2013136645 created "2016-06-24" @default.
- W2013136645 creator A5003038141 @default.
- W2013136645 creator A5091359502 @default.
- W2013136645 date "2012-06-02" @default.
- W2013136645 modified "2023-09-25" @default.
- W2013136645 title "Avestan: a declarative modeling language based on SMT-LIB" @default.
- W2013136645 cites W1480909796 @default.
- W2013136645 cites W1485237120 @default.
- W2013136645 cites W1521083034 @default.
- W2013136645 cites W1544621933 @default.
- W2013136645 cites W1559870885 @default.
- W2013136645 cites W1594979208 @default.
- W2013136645 cites W1895387792 @default.
- W2013136645 cites W2060440626 @default.
- W2013136645 cites W2143775744 @default.
- W2013136645 cites W2152591102 @default.
- W2013136645 cites W2162141139 @default.
- W2013136645 cites W2209863624 @default.
- W2013136645 cites W2735849709 @default.
- W2013136645 cites W2913459036 @default.
- W2013136645 cites W92576581 @default.
- W2013136645 cites W99916501 @default.
- W2013136645 doi "https://doi.org/10.5555/2664431.2664437" @default.
- W2013136645 hasPublicationYear "2012" @default.
- W2013136645 type Work @default.
- W2013136645 sameAs 2013136645 @default.
- W2013136645 citedByCount "1" @default.
- W2013136645 countsByYear W20131366452014 @default.
- W2013136645 crossrefType "proceedings-article" @default.
- W2013136645 hasAuthorship W2013136645A5003038141 @default.
- W2013136645 hasAuthorship W2013136645A5091359502 @default.
- W2013136645 hasConcept C164155591 @default.
- W2013136645 hasConcept C199360897 @default.
- W2013136645 hasConcept C204321447 @default.
- W2013136645 hasConcept C41008148 @default.
- W2013136645 hasConceptScore W2013136645C164155591 @default.
- W2013136645 hasConceptScore W2013136645C199360897 @default.
- W2013136645 hasConceptScore W2013136645C204321447 @default.
- W2013136645 hasConceptScore W2013136645C41008148 @default.
- W2013136645 hasLocation W20131366451 @default.
- W2013136645 hasOpenAccess W2013136645 @default.
- W2013136645 hasPrimaryLocation W20131366451 @default.
- W2013136645 hasRelatedWork W133569870 @default.
- W2013136645 hasRelatedWork W1574455736 @default.
- W2013136645 hasRelatedWork W1906040504 @default.
- W2013136645 hasRelatedWork W2029010801 @default.
- W2013136645 hasRelatedWork W2048417351 @default.
- W2013136645 hasRelatedWork W205461990 @default.
- W2013136645 hasRelatedWork W2100240827 @default.
- W2013136645 hasRelatedWork W2103846976 @default.
- W2013136645 hasRelatedWork W2118068485 @default.
- W2013136645 hasRelatedWork W2397598789 @default.
- W2013136645 hasRelatedWork W2610576149 @default.
- W2013136645 hasRelatedWork W2914540762 @default.
- W2013136645 hasRelatedWork W3015119114 @default.
- W2013136645 hasRelatedWork W3033613281 @default.
- W2013136645 hasRelatedWork W3100729823 @default.
- W2013136645 hasRelatedWork W3138477645 @default.
- W2013136645 hasRelatedWork W3175066275 @default.
- W2013136645 hasRelatedWork W3196370699 @default.
- W2013136645 hasRelatedWork W63142421 @default.
- W2013136645 hasRelatedWork W784082439 @default.
- W2013136645 isParatext "false" @default.
- W2013136645 isRetracted "false" @default.
- W2013136645 magId "2013136645" @default.
- W2013136645 workType "article" @default.