Searching for "Tools for CSP." – sorted by Relevance.
33 documents found, showing 1 through 10.
Next 10 →
-
Manuscript Click here to download Manuscript: MinDom_ABT_Constraints_rev.ps 1 2 3 4 5 6 7 8
- … heuristics are a powerful tool in CSP search algorithms. Among the most successful ordering heuristics…
- Add To MetaCart
-
CSP-CASL-Prover — Tool integration and algorithms for automated proof generation
- …CSP-CASL-Prover — Tool integration and algorithms for automated proof generation Liam O’Reilly 1…
- Add To MetaCart
-
csp2B: A Practical Approach To Combining CSP and B
- ….J.Butler@(email omitted); www.ecs.soton.ac.uk/~mjb February 14, 2000 Abstract This paper describes the tool csp2B which…
- Add To MetaCart
-
Verifying Controlled Components
- … tool support for both CSP and B, and by the need for compositional proof techniques. This paper…
- Add To MetaCart
-
CSP Theorems for Communicating B Machines
- … obtained (possibly with tools) on the CSP part of the description to be lifted to the combination. Also, a…
- Cited by 7 (2 self) – Add To MetaCart
-
ARC - A Verification Tool for Concurrent Systems
- … presents the ARC tool --- a formal verification tool for CSP currently under development. The internal…
- Cited by 3 (0 self) – Add To MetaCart
-
A complete axiomatic semantics for the CSP stablefailures model
- …. This result is connected in various ways with our tool Csp-Prover: (1) the Csp dialect under discussion…
- Cited by 2 (2 self) – Add To MetaCart
-
A generic theorem prover of CSP refinement
- …. We describe a new tool called Csp-Prover which is an interactive theorem prover dedicated…
- Cited by 6 (5 self) – Add To MetaCart
-
Modelling and verifying key-exchange protocols using CSP and FDR
- … prototyping tool for CSP descriptions of this sort of protocol. Further theoretical work will be required…
- Cited by 83 (2 self) – Add To MetaCart
-
The Automated Serialization of Concurrent CSP Scripts Using Mathematica
- … will be implemented in the next month or so. The tools support the input of the more formal typeset notation of CSP…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
