Model Checking Railway Interlocking Systems

@inproceedings{Winter2002ModelCR,
  title={Model Checking Railway Interlocking Systems},
  author={K. Winter},
  booktitle={ACSC},
  year={2002}
}
” B9L•\cje–e–@B9LcFcRgXe—˜Fc`lM™J9XlJEmgh|\^Rn\[BED$LNJ9RWmgHšJh RgX5FcM LcmgB|U_›5RgXe— \^h|\^FcM y \ RgXœFc`eMM]JELNmWhž\^FNJ9—9MŸBED$Fc`eM RWL•oeM \cRW—YX HšM™–eLcB9¡ –VB5\^M¢FN`eM jl\cM B9D y B|o|M mšU_`eM]U_›CRWXe—V£ ¤ŸM RgXCf9M \^FcRg—YJEFcM¥FN`eM jl\^M B9DkFN`eM D¦B9L y JEm y B|o|M mgmgRWXe—mnJEXl—9jlJ9—9M•aKA|§ ̈JEXlo1FN`eM U'B9LNLNM \c–VBYXlo|RgXe— y B|o|M m©U_`eM U_›YM L ”,a Z £e«ŒX[Fc`eRn\ –lJ9–VM L peHšM o|M \NU'LNRW¬@M[Fc`eM ¬VJ9\cRgU \wB9D FN`eRg\¢D¦B9L y J9mWRn\ y… CONTINUE READING
Highly Cited
This paper has 43 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 29 extracted citations

References

Publications referenced by this paper.
Showing 1-8 of 8 references

Automatic generation and verification of design specification

  • N. Robinson, D. Barney, P. Kearney, G. Nikandros, D. Tombs
  • In Proc. of Int. Symp. of the International…
  • 2001

Signalling design tools - requirements feasibility report

  • N. Robinson, D. Tombs, K. Winter
  • Technical report, SVRC, The University of…
  • 2001

The mechanical verification of solid state interlocking geographic data

  • A. Simpson, J. Woodcock, J. Davies
  • In Proc. of Formal Methods Pacific (FMP’97…
  • 1997

Modeling and verifying distributed systems using prioriteis : A case study

  • G. Luettgen Cleaveland, V. Natarajan
  • Procs . of Int . Workshop on Tools and Algorithms…
  • 1996

Model-Checking CSP. In A classical Mind, Essays in Honour of C.A.R

  • A. W. Roscoe
  • 1994

Similar Papers

Loading similar papers…