Neil J. Robinson

Learn More
Note: Most SVRC technical reports are available via anonymous ftp, Abstract This paper describes the results to date of a feasibility study on model checking applied to railway interlockings. Our approach , in contrast to others, targets a high-level description of interlocking systems, namely the logical view of its operation. The result is a formal model(More)
Animation tools have proven to be effective as a means of visualising formal specijcations. Specijcations that might otherwise be impenetrable can be communicated to a wide range of people involved in the s o w a r e development p m-cess. Here we argue that animation can also aid understanding of formal program development, or rejnement. We examine two case(More)
  • 1