Author:
Yang Letu,Poppleton Michael R.
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Bert, D., Boulmé, S., Potet, M.-L., Requet, A., Voisin, L.: Adaptable Translator of B Specifications to Embedded C Programs. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 94–113. Springer, Heidelberg (2003)
2. Butler, M.J., Leuschel, M.: Combining CSP and B for Specification and Property Verification. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 221–236. Springer, Heidelberg (2005)
3. Brörken, M., Möller, M.: Jassda Trance Assertions: Runtime Checking the Dynamic of Java Programs. In: International Conference on Testing of Communicating Systems (2002)
4. Butler, M.J.: csp2B: A Practical Approach to Combining CSP and B. In: World Congress on Formal Methods, pp. 490–508 (1999)
5. Formal Systems (Europoe) Ltd.: Failures-Divergence Refinement: FDR2 User Manual (2003)