Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950653231> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2950653231 abstract "The language Timed Concurrent Constraint (tccp) is the extension over time of the Concurrent Constraint Programming (cc) paradigm that allows us to specify concurrent systems where timing is critical, for example reactive systems. Systems which may have an infinite number of states can be specified in tccp. Model checking is a technique which is able to verify finite-state systems with a huge number of states in an automatic way. In the last years several studies have investigated how to extend model checking techniques to systems with an infinite number of states. In this paper we propose an approach which exploits the computation model of tccp. Constraint based computations allow us to define a methodology for applying a model checking algorithm to (a class of) infinite-state systems. We extend the classical algorithm of model checking for LTL to a specific logic defined for the verification of tccp and to the tccp Structure which we define in this work for modeling the program behavior. We define a restriction on the time in order to get a finite model and then we develop some illustrative examples. To the best of our knowledge this is the first approach that defines a model checking methodology for tccp." @default.
- W2950653231 created "2019-06-27" @default.
- W2950653231 creator A5026879029 @default.
- W2950653231 creator A5053216941 @default.
- W2950653231 date "2005-05-11" @default.
- W2950653231 modified "2023-09-27" @default.
- W2950653231 title "Automatic Verification of Timed Concurrent Constraint Programs" @default.
- W2950653231 cites W1501958836 @default.
- W2950653231 cites W1517173520 @default.
- W2950653231 cites W1521753002 @default.
- W2950653231 cites W1589224558 @default.
- W2950653231 cites W1590315663 @default.
- W2950653231 cites W1680216687 @default.
- W2950653231 cites W1744869556 @default.
- W2950653231 cites W1813383841 @default.
- W2950653231 cites W1861590051 @default.
- W2950653231 cites W1981281472 @default.
- W2950653231 cites W2004463571 @default.
- W2950653231 cites W2021519440 @default.
- W2950653231 cites W2030368531 @default.
- W2950653231 cites W2069709605 @default.
- W2950653231 cites W2080593426 @default.
- W2950653231 cites W2096593570 @default.
- W2950653231 cites W2119170644 @default.
- W2950653231 cites W2130035122 @default.
- W2950653231 cites W2132661148 @default.
- W2950653231 cites W2143082793 @default.
- W2950653231 cites W2163654786 @default.
- W2950653231 cites W2163751633 @default.
- W2950653231 cites W2164297069 @default.
- W2950653231 cites W2519218684 @default.
- W2950653231 cites W2913459036 @default.
- W2950653231 cites W2142423074 @default.
- W2950653231 hasPublicationYear "2005" @default.
- W2950653231 type Work @default.
- W2950653231 sameAs 2950653231 @default.
- W2950653231 citedByCount "1" @default.
- W2950653231 crossrefType "posted-content" @default.
- W2950653231 hasAuthorship W2950653231A5026879029 @default.
- W2950653231 hasAuthorship W2950653231A5053216941 @default.
- W2950653231 hasConcept C110251889 @default.
- W2950653231 hasConcept C11413529 @default.
- W2950653231 hasConcept C126255220 @default.
- W2950653231 hasConcept C137631369 @default.
- W2950653231 hasConcept C154945302 @default.
- W2950653231 hasConcept C173404611 @default.
- W2950653231 hasConcept C199360897 @default.
- W2950653231 hasConcept C25016198 @default.
- W2950653231 hasConcept C2524010 @default.
- W2950653231 hasConcept C2776036281 @default.
- W2950653231 hasConcept C2777212361 @default.
- W2950653231 hasConcept C33923547 @default.
- W2950653231 hasConcept C41008148 @default.
- W2950653231 hasConcept C45374587 @default.
- W2950653231 hasConcept C48103436 @default.
- W2950653231 hasConcept C80444323 @default.
- W2950653231 hasConceptScore W2950653231C110251889 @default.
- W2950653231 hasConceptScore W2950653231C11413529 @default.
- W2950653231 hasConceptScore W2950653231C126255220 @default.
- W2950653231 hasConceptScore W2950653231C137631369 @default.
- W2950653231 hasConceptScore W2950653231C154945302 @default.
- W2950653231 hasConceptScore W2950653231C173404611 @default.
- W2950653231 hasConceptScore W2950653231C199360897 @default.
- W2950653231 hasConceptScore W2950653231C25016198 @default.
- W2950653231 hasConceptScore W2950653231C2524010 @default.
- W2950653231 hasConceptScore W2950653231C2776036281 @default.
- W2950653231 hasConceptScore W2950653231C2777212361 @default.
- W2950653231 hasConceptScore W2950653231C33923547 @default.
- W2950653231 hasConceptScore W2950653231C41008148 @default.
- W2950653231 hasConceptScore W2950653231C45374587 @default.
- W2950653231 hasConceptScore W2950653231C48103436 @default.
- W2950653231 hasConceptScore W2950653231C80444323 @default.
- W2950653231 hasLocation W29506532311 @default.
- W2950653231 hasOpenAccess W2950653231 @default.
- W2950653231 hasPrimaryLocation W29506532311 @default.
- W2950653231 hasRelatedWork W117556101 @default.
- W2950653231 hasRelatedWork W1484737241 @default.
- W2950653231 hasRelatedWork W1492159729 @default.
- W2950653231 hasRelatedWork W1560069502 @default.
- W2950653231 hasRelatedWork W1561710889 @default.
- W2950653231 hasRelatedWork W1583497532 @default.
- W2950653231 hasRelatedWork W1971427196 @default.
- W2950653231 hasRelatedWork W2038778870 @default.
- W2950653231 hasRelatedWork W2045662659 @default.
- W2950653231 hasRelatedWork W2121482121 @default.
- W2950653231 hasRelatedWork W2260751206 @default.
- W2950653231 hasRelatedWork W2481947210 @default.
- W2950653231 hasRelatedWork W2502580831 @default.
- W2950653231 hasRelatedWork W2529542719 @default.
- W2950653231 hasRelatedWork W2616886744 @default.
- W2950653231 hasRelatedWork W2735956334 @default.
- W2950653231 hasRelatedWork W3034123776 @default.
- W2950653231 hasRelatedWork W46459026 @default.
- W2950653231 hasRelatedWork W2097768234 @default.
- W2950653231 hasRelatedWork W2303470490 @default.
- W2950653231 isParatext "false" @default.
- W2950653231 isRetracted "false" @default.
- W2950653231 magId "2950653231" @default.
- W2950653231 workType "article" @default.