2009
DOI: 10.1016/j.entcs.2009.08.018
|View full text |Cite
|
Sign up to set email alerts
|

CSP-CASL-Prover: A Generic Tool for Process and Data Refinement

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2013
2013
2017
2017

Publication Types

Select...
1
1

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(1 citation statement)
references
References 12 publications
0
1
0
Order By: Relevance
“…One notable feature available via Hets is the CSPCASLProver, a prover for CSPCASL based on the CSP-Prover [8]. It uses the Isabelle theorem prover to prove properties about specifications over the permitted CSP semantic domains [15]. We have added an implementation for our institution for Event-B, EVT CASL, to Hets.…”
Section: Tool Support and Avenues To Interoperabilitymentioning
confidence: 99%
“…One notable feature available via Hets is the CSPCASLProver, a prover for CSPCASL based on the CSP-Prover [8]. It uses the Isabelle theorem prover to prove properties about specifications over the permitted CSP semantic domains [15]. We have added an implementation for our institution for Event-B, EVT CASL, to Hets.…”
Section: Tool Support and Avenues To Interoperabilitymentioning
confidence: 99%