Matches in SemOpenAlex for { <https://semopenalex.org/work/W2244880810> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2244880810 abstract "This paper presents a framework for modeling, simulating, and checking properties of critical systems based on the Alloy language -- a declarative, first-order, relational logic with a built-in transitive closure operator. The paper introduces a new dual-analysis engine that is capable of providing both counterexamples and proofs. Counterexamples are found fully automatically using an SMT solver, which provides a better support for numerical expressions than the existing Alloy Analyzer. Proofs, however, cannot always be found automatically since the Alloy language is undecidable. Our engine offers an economical approach by first trying to prove properties using a fully-automatic, SMT-based analysis, and switches to an interactive theorem prover only if the first attempt fails. This paper also reports on applying our framework to Microsoft's COM standard and the mark-and-sweep garbage collection algorithm." @default.
- W2244880810 created "2016-06-24" @default.
- W2244880810 creator A5001703806 @default.
- W2244880810 creator A5008408217 @default.
- W2244880810 creator A5024404395 @default.
- W2244880810 creator A5039009530 @default.
- W2244880810 date "2014-08-04" @default.
- W2244880810 modified "2023-09-27" @default.
- W2244880810 title "A Dual-Engine for Early Analysis of Critical Systems" @default.
- W2244880810 cites W124433265 @default.
- W2244880810 cites W150016039 @default.
- W2244880810 cites W1519576952 @default.
- W2244880810 cites W1579618781 @default.
- W2244880810 cites W177306140 @default.
- W2244880810 cites W1808963341 @default.
- W2244880810 cites W1895387792 @default.
- W2244880810 cites W1930200668 @default.
- W2244880810 cites W2095482919 @default.
- W2244880810 cites W2116181031 @default.
- W2244880810 cites W2144973245 @default.
- W2244880810 cites W2165413178 @default.
- W2244880810 hasPublicationYear "2014" @default.
- W2244880810 type Work @default.
- W2244880810 sameAs 2244880810 @default.
- W2244880810 citedByCount "0" @default.
- W2244880810 crossrefType "posted-content" @default.
- W2244880810 hasAuthorship W2244880810A5001703806 @default.
- W2244880810 hasAuthorship W2244880810A5008408217 @default.
- W2244880810 hasAuthorship W2244880810A5024404395 @default.
- W2244880810 hasAuthorship W2244880810A5039009530 @default.
- W2244880810 hasConcept C105122174 @default.
- W2244880810 hasConcept C108710211 @default.
- W2244880810 hasConcept C110251889 @default.
- W2244880810 hasConcept C118615104 @default.
- W2244880810 hasConcept C128896722 @default.
- W2244880810 hasConcept C153269930 @default.
- W2244880810 hasConcept C162838799 @default.
- W2244880810 hasConcept C17435882 @default.
- W2244880810 hasConcept C192034797 @default.
- W2244880810 hasConcept C199360897 @default.
- W2244880810 hasConcept C206880738 @default.
- W2244880810 hasConcept C2524010 @default.
- W2244880810 hasConcept C33923547 @default.
- W2244880810 hasConcept C41008148 @default.
- W2244880810 hasConcept C75403996 @default.
- W2244880810 hasConcept C80444323 @default.
- W2244880810 hasConceptScore W2244880810C105122174 @default.
- W2244880810 hasConceptScore W2244880810C108710211 @default.
- W2244880810 hasConceptScore W2244880810C110251889 @default.
- W2244880810 hasConceptScore W2244880810C118615104 @default.
- W2244880810 hasConceptScore W2244880810C128896722 @default.
- W2244880810 hasConceptScore W2244880810C153269930 @default.
- W2244880810 hasConceptScore W2244880810C162838799 @default.
- W2244880810 hasConceptScore W2244880810C17435882 @default.
- W2244880810 hasConceptScore W2244880810C192034797 @default.
- W2244880810 hasConceptScore W2244880810C199360897 @default.
- W2244880810 hasConceptScore W2244880810C206880738 @default.
- W2244880810 hasConceptScore W2244880810C2524010 @default.
- W2244880810 hasConceptScore W2244880810C33923547 @default.
- W2244880810 hasConceptScore W2244880810C41008148 @default.
- W2244880810 hasConceptScore W2244880810C75403996 @default.
- W2244880810 hasConceptScore W2244880810C80444323 @default.
- W2244880810 hasLocation W22448808101 @default.
- W2244880810 hasOpenAccess W2244880810 @default.
- W2244880810 hasPrimaryLocation W22448808101 @default.
- W2244880810 hasRelatedWork W1536477339 @default.
- W2244880810 hasRelatedWork W1592412049 @default.
- W2244880810 hasRelatedWork W1768713228 @default.
- W2244880810 hasRelatedWork W1969704856 @default.
- W2244880810 hasRelatedWork W1992324802 @default.
- W2244880810 hasRelatedWork W2004436487 @default.
- W2244880810 hasRelatedWork W2070717690 @default.
- W2244880810 hasRelatedWork W2147129365 @default.
- W2244880810 hasRelatedWork W2281448709 @default.
- W2244880810 hasRelatedWork W2464096065 @default.
- W2244880810 hasRelatedWork W2485562425 @default.
- W2244880810 hasRelatedWork W2556005817 @default.
- W2244880810 hasRelatedWork W2569846767 @default.
- W2244880810 hasRelatedWork W2589084440 @default.
- W2244880810 hasRelatedWork W2608886415 @default.
- W2244880810 hasRelatedWork W2906781832 @default.
- W2244880810 hasRelatedWork W2963115500 @default.
- W2244880810 hasRelatedWork W3109748465 @default.
- W2244880810 hasRelatedWork W3125985216 @default.
- W2244880810 hasRelatedWork W798190714 @default.
- W2244880810 isParatext "false" @default.
- W2244880810 isRetracted "false" @default.
- W2244880810 magId "2244880810" @default.
- W2244880810 workType "article" @default.