Combining the box structure development method and CSP

@article{Hopcroft2004CombiningTB,
  title={Combining the box structure development method and CSP},
  author={Philippa J. Hopcroft and Guy H. Broadfoot},
  journal={Proceedings. 19th International Conference on Automated Software Engineering, 2004.},
  year={2004},
  pages={340-345}
}
We combine the box structure development method (BSDM) by Mills et al. (1986) and communicating sequential processes (CSP) by Hoar (1985), with the goal of integrating them into an industrial software development environment. BSDM forms an ideal bridge between the actual system being developed and the abstract models used for formal analysis. CSP complements BSDM by providing the mathematical framework for formal verification, together with its model checker FDR. We present generic algorithms… CONTINUE READING