RT-Z: An Integration of Z and timed CSP

IFM’99 ◽  
1999 ◽  
pp. 29-48 ◽  
Author(s):  
Carsten Sühl
Keyword(s):  
Timed Csp

scholarly journals Probabilistic and prioritized models of timed CSP

1995 ◽  
Vol 138 (2) ◽  
pp. 315-352 ◽  
Author(s):  
Gavin Lowe
Keyword(s):  
Timed Csp

scholarly journals Timed CSP = Closed Timed Automata1

2002 ◽  
Vol 68 (2) ◽  
pp. 142-159 ◽  
Author(s):  
Joël Ouaknine ◽  
James Worrell
Keyword(s):  
Timed Csp

scholarly journals Model checking Timed CSP

10.29007/6fqk ◽  
2018 ◽  
Author(s):  
Philip Armstrong ◽  
Gavin Lowe ◽  
Joël Ouaknine ◽  
Bill Roscoe
Keyword(s):  
Model Checking ◽  
Discrete Time ◽  
Timed Csp ◽  
The Creation

Though Timed CSP was developed 25 years ago and the CSP-basedrefinement checker FDR was first released 20 years ago, there has never beena version of this tool for Timed CSP. In this paper we report on the creation ofsuch a version, based on the digitisation results of Ouaknine} andthe associated development of discrete-time versions of Timed CSP withassociated models.

Sign in / Sign up

Export Citation Format

Share Document