Matches in SemOpenAlex for { <https://semopenalex.org/work/W2184123652> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2184123652 abstract "Distributed applications such as flight booking systems, web services, and electronic payment systems require parallel processing of data. Such systems exhibit concurrent aspects (e.g., deadlock freedom) as well as data aspects (e.g., functional correctness). Often, these two aspects depend on each other. The language CSP-CASL is tailored to the specification and verification of such distributed systems and allows one to model data as well as processes within a single framework. In this thesis we explore methods and techniques tailored to theorem proving for CSP-CASL. This leads to the development of an architecture for CSP-CASL-Prover which re-uses the tools HETS and CSP-Prover. We also design – up to the algorithmic level – procedures for transforming a CSPCASL specification into Isabelle/HOL code whilst preserving the semantics. By using this translation, it is possible to perform theorem proving on CSP-CASL specifications using Isabelle/HOL. As proof of concept we validate our tool CSP-CASL-Prover on a case study of industrial strength. Our experiment shows that CSP-CASL-Prover scales up to large systems. When using CSP-CASLProver reasoning about CSP-CASL specifications becomes as easy as reasoning about data and processes separately. Part of the results presented within this thesis have been published in [OIR07, OIR08]." @default.
- W2184123652 created "2016-06-24" @default.
- W2184123652 creator A5008873463 @default.
- W2184123652 date "2008-01-01" @default.
- W2184123652 modified "2023-09-27" @default.
- W2184123652 title "Developing Proof Technology For CSP-CASL" @default.
- W2184123652 cites W1501263237 @default.
- W2184123652 cites W1507693023 @default.
- W2184123652 cites W1515857575 @default.
- W2184123652 cites W1526060216 @default.
- W2184123652 cites W1534850143 @default.
- W2184123652 cites W1540530196 @default.
- W2184123652 cites W1561664087 @default.
- W2184123652 cites W1566729015 @default.
- W2184123652 cites W1586167239 @default.
- W2184123652 cites W1599755007 @default.
- W2184123652 cites W1829244603 @default.
- W2184123652 cites W1975230264 @default.
- W2184123652 cites W2010883554 @default.
- W2184123652 cites W2089241138 @default.
- W2184123652 cites W2105923183 @default.
- W2184123652 cites W2112774031 @default.
- W2184123652 cites W2123835026 @default.
- W2184123652 cites W2129384397 @default.
- W2184123652 cites W2136202785 @default.
- W2184123652 cites W2141669436 @default.
- W2184123652 cites W2141730280 @default.
- W2184123652 cites W2235379671 @default.
- W2184123652 cites W2916262976 @default.
- W2184123652 cites W3144368627 @default.
- W2184123652 cites W57212168 @default.
- W2184123652 cites W2584449131 @default.
- W2184123652 cites W3142790043 @default.
- W2184123652 hasPublicationYear "2008" @default.
- W2184123652 type Work @default.
- W2184123652 sameAs 2184123652 @default.
- W2184123652 citedByCount "1" @default.
- W2184123652 countsByYear W21841236522012 @default.
- W2184123652 crossrefType "dissertation" @default.
- W2184123652 hasAuthorship W2184123652A5008873463 @default.
- W2184123652 hasConcept C108710211 @default.
- W2184123652 hasConcept C159718280 @default.
- W2184123652 hasConcept C169590947 @default.
- W2184123652 hasConcept C17435882 @default.
- W2184123652 hasConcept C184337299 @default.
- W2184123652 hasConcept C199360897 @default.
- W2184123652 hasConcept C201677973 @default.
- W2184123652 hasConcept C203265346 @default.
- W2184123652 hasConcept C206880738 @default.
- W2184123652 hasConcept C2524010 @default.
- W2184123652 hasConcept C33923547 @default.
- W2184123652 hasConcept C41008148 @default.
- W2184123652 hasConcept C55439883 @default.
- W2184123652 hasConcept C80444323 @default.
- W2184123652 hasConceptScore W2184123652C108710211 @default.
- W2184123652 hasConceptScore W2184123652C159718280 @default.
- W2184123652 hasConceptScore W2184123652C169590947 @default.
- W2184123652 hasConceptScore W2184123652C17435882 @default.
- W2184123652 hasConceptScore W2184123652C184337299 @default.
- W2184123652 hasConceptScore W2184123652C199360897 @default.
- W2184123652 hasConceptScore W2184123652C201677973 @default.
- W2184123652 hasConceptScore W2184123652C203265346 @default.
- W2184123652 hasConceptScore W2184123652C206880738 @default.
- W2184123652 hasConceptScore W2184123652C2524010 @default.
- W2184123652 hasConceptScore W2184123652C33923547 @default.
- W2184123652 hasConceptScore W2184123652C41008148 @default.
- W2184123652 hasConceptScore W2184123652C55439883 @default.
- W2184123652 hasConceptScore W2184123652C80444323 @default.
- W2184123652 hasLocation W21841236521 @default.
- W2184123652 hasOpenAccess W2184123652 @default.
- W2184123652 hasPrimaryLocation W21841236521 @default.
- W2184123652 hasRelatedWork W1489223048 @default.
- W2184123652 hasRelatedWork W1495336709 @default.
- W2184123652 hasRelatedWork W1522273308 @default.
- W2184123652 hasRelatedWork W1522557177 @default.
- W2184123652 hasRelatedWork W1593065203 @default.
- W2184123652 hasRelatedWork W1972548976 @default.
- W2184123652 hasRelatedWork W2000539392 @default.
- W2184123652 hasRelatedWork W2020801438 @default.
- W2184123652 hasRelatedWork W2033745143 @default.
- W2184123652 hasRelatedWork W2049967603 @default.
- W2184123652 hasRelatedWork W2093121316 @default.
- W2184123652 hasRelatedWork W2150153475 @default.
- W2184123652 hasRelatedWork W2158244922 @default.
- W2184123652 hasRelatedWork W2473969534 @default.
- W2184123652 hasRelatedWork W2556359613 @default.
- W2184123652 hasRelatedWork W2896181532 @default.
- W2184123652 hasRelatedWork W2993686777 @default.
- W2184123652 hasRelatedWork W3163374525 @default.
- W2184123652 hasRelatedWork W45272992 @default.
- W2184123652 hasRelatedWork W64168105 @default.
- W2184123652 isParatext "false" @default.
- W2184123652 isRetracted "false" @default.
- W2184123652 magId "2184123652" @default.
- W2184123652 workType "dissertation" @default.