scholarly journals Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction

2013 ◽  
pp. 182-198 ◽  
Author(s):  
Yuanjie Si ◽  
Jun Sun ◽  
Yang Liu ◽  
Ting Wang
Keyword(s):  
Model Checking ◽  
Symmetry Reduction ◽  
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.

scholarly journals Symmetry reduction in CSP model checking

2019 ◽  
Vol 21 (5) ◽  
pp. 567-605 ◽  
Author(s):  
Thomas Gibson-Robinson ◽  
Gavin Lowe
Keyword(s):  
Model Checking ◽  
Symmetry Reduction
Sign in / Sign up

Export Citation Format

Share Document