Matches in SemOpenAlex for { <https://semopenalex.org/work/W1561842893> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1561842893 abstract "This paper introduces the theory and practice of formal verification of self-assembling systems. We interpret a well-studied abstraction of nanomolecular self assembly, the Abstract Tile Assembly Model (aTAM), into Computation Tree Logic (CTL), a temporal logic often used in model checking. We then consider the class of rectilinear tile assembly systems. This class includes most aTAM systems studied in the theoretical literature, and all (algorithmic) DNA tile self-assembling systems that have been realized in laboratories to date. We present a polynomial-time algorithm that, given a tile assembly system T as input, either provides a counterexample to T's rectilinearity or verifies whether T has a unique terminal assembly. Using partial order reductions, the verification search space for this algorithm is reduced from exponential size to O(n^2), where n x n is the size of the assembly surface. That reduction is asymptotically the best possible. We report on experimental results obtained by translating tile assembly simulator files into a Petri net format manipulable by the SMART model checking engines devised by Ciardo et al. The model checker runs in O(|T| x n^4) time, where |T| is the number of tile types in tile assembly system T, and n x n is the surface size. Atypical for a model checking problem -- in which the practical limit usually is insufficient memory to store the state space -- the limit in this case was the amount of memory required to represent the rules of the model. (Storage of the state space and of the reachability graph were small by comparison.) We discuss how to overcome this obstacle by means of a front end tailored to the characteristics of self-assembly." @default.
- W1561842893 created "2016-06-24" @default.
- W1561842893 creator A5018221361 @default.
- W1561842893 date "2010-07-21" @default.
- W1561842893 modified "2023-09-27" @default.
- W1561842893 title "Formal Verification of Self-Assembling Systems" @default.
- W1561842893 cites W1504755831 @default.
- W1561842893 cites W1552172399 @default.
- W1561842893 cites W1590315663 @default.
- W1561842893 cites W1607359365 @default.
- W1561842893 cites W1617997276 @default.
- W1561842893 cites W1850048324 @default.
- W1561842893 cites W189948524 @default.
- W1561842893 cites W1968657433 @default.
- W1561842893 cites W1983241546 @default.
- W1561842893 cites W1996109622 @default.
- W1561842893 cites W2011108001 @default.
- W1561842893 cites W2027129928 @default.
- W1561842893 cites W2044131499 @default.
- W1561842893 cites W2046679093 @default.
- W1561842893 cites W2062864075 @default.
- W1561842893 cites W2063465004 @default.
- W1561842893 cites W2096270193 @default.
- W1561842893 cites W2097477735 @default.
- W1561842893 cites W2118039525 @default.
- W1561842893 cites W2141478443 @default.
- W1561842893 cites W2506987745 @default.
- W1561842893 cites W2784847360 @default.
- W1561842893 hasPublicationYear "2010" @default.
- W1561842893 type Work @default.
- W1561842893 sameAs 1561842893 @default.
- W1561842893 citedByCount "0" @default.
- W1561842893 crossrefType "posted-content" @default.
- W1561842893 hasAuthorship W1561842893A5018221361 @default.
- W1561842893 hasConcept C105795698 @default.
- W1561842893 hasConcept C110251889 @default.
- W1561842893 hasConcept C11413529 @default.
- W1561842893 hasConcept C118615104 @default.
- W1561842893 hasConcept C134306372 @default.
- W1561842893 hasConcept C142362112 @default.
- W1561842893 hasConcept C151201525 @default.
- W1561842893 hasConcept C153349607 @default.
- W1561842893 hasConcept C162838799 @default.
- W1561842893 hasConcept C198008173 @default.
- W1561842893 hasConcept C199360897 @default.
- W1561842893 hasConcept C2780728851 @default.
- W1561842893 hasConcept C33923547 @default.
- W1561842893 hasConcept C38677869 @default.
- W1561842893 hasConcept C41008148 @default.
- W1561842893 hasConcept C72434380 @default.
- W1561842893 hasConcept C80444323 @default.
- W1561842893 hasConceptScore W1561842893C105795698 @default.
- W1561842893 hasConceptScore W1561842893C110251889 @default.
- W1561842893 hasConceptScore W1561842893C11413529 @default.
- W1561842893 hasConceptScore W1561842893C118615104 @default.
- W1561842893 hasConceptScore W1561842893C134306372 @default.
- W1561842893 hasConceptScore W1561842893C142362112 @default.
- W1561842893 hasConceptScore W1561842893C151201525 @default.
- W1561842893 hasConceptScore W1561842893C153349607 @default.
- W1561842893 hasConceptScore W1561842893C162838799 @default.
- W1561842893 hasConceptScore W1561842893C198008173 @default.
- W1561842893 hasConceptScore W1561842893C199360897 @default.
- W1561842893 hasConceptScore W1561842893C2780728851 @default.
- W1561842893 hasConceptScore W1561842893C33923547 @default.
- W1561842893 hasConceptScore W1561842893C38677869 @default.
- W1561842893 hasConceptScore W1561842893C41008148 @default.
- W1561842893 hasConceptScore W1561842893C72434380 @default.
- W1561842893 hasConceptScore W1561842893C80444323 @default.
- W1561842893 hasLocation W15618428931 @default.
- W1561842893 hasOpenAccess W1561842893 @default.
- W1561842893 hasPrimaryLocation W15618428931 @default.
- W1561842893 hasRelatedWork W11326594 @default.
- W1561842893 hasRelatedWork W1504637184 @default.
- W1561842893 hasRelatedWork W1522067394 @default.
- W1561842893 hasRelatedWork W1525879420 @default.
- W1561842893 hasRelatedWork W1547250115 @default.
- W1561842893 hasRelatedWork W1576345759 @default.
- W1561842893 hasRelatedWork W1940010026 @default.
- W1561842893 hasRelatedWork W2155533014 @default.
- W1561842893 hasRelatedWork W2198174543 @default.
- W1561842893 hasRelatedWork W2295246525 @default.
- W1561842893 hasRelatedWork W2553206079 @default.
- W1561842893 hasRelatedWork W2756230432 @default.
- W1561842893 hasRelatedWork W2767098878 @default.
- W1561842893 hasRelatedWork W2922757504 @default.
- W1561842893 hasRelatedWork W2971633023 @default.
- W1561842893 hasRelatedWork W3005845268 @default.
- W1561842893 hasRelatedWork W3006574674 @default.
- W1561842893 hasRelatedWork W3141621133 @default.
- W1561842893 hasRelatedWork W3203900216 @default.
- W1561842893 hasRelatedWork W38834710 @default.
- W1561842893 isParatext "false" @default.
- W1561842893 isRetracted "false" @default.
- W1561842893 magId "1561842893" @default.
- W1561842893 workType "article" @default.