Matches in SemOpenAlex for { <https://semopenalex.org/work/W1494561662> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1494561662 abstract "We present a technique for the automated verification of abstract models of multithreaded programs providing fresh name generation, name mobility, and unbounded control. As high level specification language we adopt here an extension of communication finite-state machines with local variables ranging over an infinite name domain, called TDL programs. Communication machines have been proved very effective for representing communication protocols as well as for representing abstractions of multithreaded software. The verification method that we propose is based on the encoding of TDL programs into a low level language based on multiset rewriting and constraints that can be viewed as an extension of Petri Nets. By means of this encoding, the symbolic verification procedure developed for the low level language in our previous work can now be applied to TDL programs. Furthermore, the encoding allows us to isolate a decidable class of verification problems for TDL programs that still provide fresh name generation, name mobility, and unbounded control. Our syntactic restrictions are in fact defined on the internal structure of threads: In order to obtain a complete and terminating method, threads are only allowed to have at most one local variable (ranging over an infinite domain of names)." @default.
- W1494561662 created "2016-06-24" @default.
- W1494561662 creator A5071901297 @default.
- W1494561662 date "2006-01-10" @default.
- W1494561662 modified "2023-09-27" @default.
- W1494561662 title "Constraint-based verification of abstract models of multitreaded programs" @default.
- W1494561662 cites W1488718410 @default.
- W1494561662 cites W1810198311 @default.
- W1494561662 cites W1861590051 @default.
- W1494561662 cites W1912953170 @default.
- W1494561662 cites W1916487582 @default.
- W1494561662 cites W1967174286 @default.
- W1494561662 cites W1968448471 @default.
- W1494561662 cites W1987814265 @default.
- W1494561662 cites W2021255060 @default.
- W1494561662 cites W2036526834 @default.
- W1494561662 cites W2050304663 @default.
- W1494561662 cites W2123910665 @default.
- W1494561662 cites W2131895477 @default.
- W1494561662 cites W2519218684 @default.
- W1494561662 cites W2737034569 @default.
- W1494561662 hasPublicationYear "2006" @default.
- W1494561662 type Work @default.
- W1494561662 sameAs 1494561662 @default.
- W1494561662 citedByCount "0" @default.
- W1494561662 crossrefType "posted-content" @default.
- W1494561662 hasAuthorship W1494561662A5071901297 @default.
- W1494561662 hasConcept C125411270 @default.
- W1494561662 hasConcept C134306372 @default.
- W1494561662 hasConcept C153269930 @default.
- W1494561662 hasConcept C154690210 @default.
- W1494561662 hasConcept C154945302 @default.
- W1494561662 hasConcept C199360897 @default.
- W1494561662 hasConcept C2777212361 @default.
- W1494561662 hasConcept C33923547 @default.
- W1494561662 hasConcept C36503486 @default.
- W1494561662 hasConcept C38677869 @default.
- W1494561662 hasConcept C41008148 @default.
- W1494561662 hasConcept C80444323 @default.
- W1494561662 hasConceptScore W1494561662C125411270 @default.
- W1494561662 hasConceptScore W1494561662C134306372 @default.
- W1494561662 hasConceptScore W1494561662C153269930 @default.
- W1494561662 hasConceptScore W1494561662C154690210 @default.
- W1494561662 hasConceptScore W1494561662C154945302 @default.
- W1494561662 hasConceptScore W1494561662C199360897 @default.
- W1494561662 hasConceptScore W1494561662C2777212361 @default.
- W1494561662 hasConceptScore W1494561662C33923547 @default.
- W1494561662 hasConceptScore W1494561662C36503486 @default.
- W1494561662 hasConceptScore W1494561662C38677869 @default.
- W1494561662 hasConceptScore W1494561662C41008148 @default.
- W1494561662 hasConceptScore W1494561662C80444323 @default.
- W1494561662 hasLocation W14945616621 @default.
- W1494561662 hasOpenAccess W1494561662 @default.
- W1494561662 hasPrimaryLocation W14945616621 @default.
- W1494561662 hasRelatedWork W1165569327 @default.
- W1494561662 hasRelatedWork W1492869113 @default.
- W1494561662 hasRelatedWork W1767621068 @default.
- W1494561662 hasRelatedWork W2035719106 @default.
- W1494561662 hasRelatedWork W2053253740 @default.
- W1494561662 hasRelatedWork W2053294975 @default.
- W1494561662 hasRelatedWork W2081867734 @default.
- W1494561662 hasRelatedWork W2086005798 @default.
- W1494561662 hasRelatedWork W2129292921 @default.
- W1494561662 hasRelatedWork W2152866041 @default.
- W1494561662 hasRelatedWork W2164288303 @default.
- W1494561662 hasRelatedWork W2248653679 @default.
- W1494561662 hasRelatedWork W227617707 @default.
- W1494561662 hasRelatedWork W2286195948 @default.
- W1494561662 hasRelatedWork W2310744283 @default.
- W1494561662 hasRelatedWork W2480791090 @default.
- W1494561662 hasRelatedWork W2528116301 @default.
- W1494561662 hasRelatedWork W2556680237 @default.
- W1494561662 hasRelatedWork W2788835136 @default.
- W1494561662 hasRelatedWork W54285080 @default.
- W1494561662 isParatext "false" @default.
- W1494561662 isRetracted "false" @default.
- W1494561662 magId "1494561662" @default.
- W1494561662 workType "article" @default.