Matches in SemOpenAlex for { <https://semopenalex.org/work/W4308648317> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W4308648317 abstract "Specifying and analyzing critical properties of software systems plays an important role in the development of reliable systems. Alloy is a mature tool-set that provides a first-order relational logic for writing specifications, and a fully automatic powerful backend for analyzing the specifications. It has been widely applied in areas including verification, security, and synthesis." @default.
- W4308648317 created "2022-11-13" @default.
- W4308648317 creator A5004951814 @default.
- W4308648317 creator A5013438405 @default.
- W4308648317 creator A5047507250 @default.
- W4308648317 creator A5068616825 @default.
- W4308648317 date "2022-11-07" @default.
- W4308648317 modified "2023-10-17" @default.
- W4308648317 title "SymMC: approximate model enumeration and counting using symmetry information for Alloy specifications" @default.
- W4308648317 cites W1513363711 @default.
- W4308648317 cites W1517453125 @default.
- W4308648317 cites W1519503479 @default.
- W4308648317 cites W1545043791 @default.
- W4308648317 cites W1548001884 @default.
- W4308648317 cites W1606825810 @default.
- W4308648317 cites W1720848645 @default.
- W4308648317 cites W1852929912 @default.
- W4308648317 cites W1868221333 @default.
- W4308648317 cites W1968783153 @default.
- W4308648317 cites W1976371754 @default.
- W4308648317 cites W1990600049 @default.
- W4308648317 cites W2011388930 @default.
- W4308648317 cites W2027625205 @default.
- W4308648317 cites W2063923508 @default.
- W4308648317 cites W2074845051 @default.
- W4308648317 cites W2095850105 @default.
- W4308648317 cites W2102233204 @default.
- W4308648317 cites W2103475742 @default.
- W4308648317 cites W2112283007 @default.
- W4308648317 cites W2120251320 @default.
- W4308648317 cites W2130088495 @default.
- W4308648317 cites W2131798840 @default.
- W4308648317 cites W2139937532 @default.
- W4308648317 cites W2152949134 @default.
- W4308648317 cites W2165413178 @default.
- W4308648317 cites W2166965569 @default.
- W4308648317 cites W2171683519 @default.
- W4308648317 cites W2742197492 @default.
- W4308648317 cites W2799039528 @default.
- W4308648317 cites W2904129921 @default.
- W4308648317 cites W2964396926 @default.
- W4308648317 cites W2966083108 @default.
- W4308648317 cites W3003790514 @default.
- W4308648317 cites W3016605054 @default.
- W4308648317 cites W3121315014 @default.
- W4308648317 cites W3123509436 @default.
- W4308648317 cites W3175522226 @default.
- W4308648317 cites W4238171218 @default.
- W4308648317 doi "https://doi.org/10.1145/3540250.3549161" @default.
- W4308648317 hasPublicationYear "2022" @default.
- W4308648317 type Work @default.
- W4308648317 citedByCount "0" @default.
- W4308648317 crossrefType "proceedings-article" @default.
- W4308648317 hasAuthorship W4308648317A5004951814 @default.
- W4308648317 hasAuthorship W4308648317A5013438405 @default.
- W4308648317 hasAuthorship W4308648317A5047507250 @default.
- W4308648317 hasAuthorship W4308648317A5068616825 @default.
- W4308648317 hasBestOaLocation W43086483171 @default.
- W4308648317 hasConcept C118615104 @default.
- W4308648317 hasConcept C156340839 @default.
- W4308648317 hasConcept C177264268 @default.
- W4308648317 hasConcept C199360897 @default.
- W4308648317 hasConcept C2777904410 @default.
- W4308648317 hasConcept C33923547 @default.
- W4308648317 hasConcept C41008148 @default.
- W4308648317 hasConcept C80444323 @default.
- W4308648317 hasConceptScore W4308648317C118615104 @default.
- W4308648317 hasConceptScore W4308648317C156340839 @default.
- W4308648317 hasConceptScore W4308648317C177264268 @default.
- W4308648317 hasConceptScore W4308648317C199360897 @default.
- W4308648317 hasConceptScore W4308648317C2777904410 @default.
- W4308648317 hasConceptScore W4308648317C33923547 @default.
- W4308648317 hasConceptScore W4308648317C41008148 @default.
- W4308648317 hasConceptScore W4308648317C80444323 @default.
- W4308648317 hasLocation W43086483171 @default.
- W4308648317 hasOpenAccess W4308648317 @default.
- W4308648317 hasPrimaryLocation W43086483171 @default.
- W4308648317 hasRelatedWork W2013111119 @default.
- W4308648317 hasRelatedWork W2047793074 @default.
- W4308648317 hasRelatedWork W2112962394 @default.
- W4308648317 hasRelatedWork W2118300983 @default.
- W4308648317 hasRelatedWork W2382501300 @default.
- W4308648317 hasRelatedWork W3137189469 @default.
- W4308648317 hasRelatedWork W3162240892 @default.
- W4308648317 hasRelatedWork W4235530921 @default.
- W4308648317 hasRelatedWork W4243252198 @default.
- W4308648317 hasRelatedWork W4245713008 @default.
- W4308648317 isParatext "false" @default.
- W4308648317 isRetracted "false" @default.
- W4308648317 workType "article" @default.