-
1
-
-
0004025792
-
-
Cambridge University Press
-
J.-R. Abrial. The B-Book. Cambridge University Press, 1996.
-
(1996)
The B-book
-
-
Abrial, J.-R.1
-
3
-
-
24644497655
-
-
U. B-Core (UK) Limited, Oxon. B-Toolkit, On-line manual, 1999. Available at http://www.b-core.com/ONLINEDOC/Contents.html.
-
(1999)
B-Toolkit, On-line Manual
-
-
-
4
-
-
0011584271
-
Csp2B: A practical approach to combining CSP and B
-
M. J. Butler. csp2B: A Practical Approach to Combining CSP and B. Formal Asp. Comput., 12(3):182-198, 2000.
-
(2000)
Formal Asp. Comput.
, vol.12
, Issue.3
, pp. 182-198
-
-
Butler, M.J.1
-
6
-
-
0000601447
-
CSP-OZ: A combination of Object-Z and CSP
-
H. Bowmann and J. Derrick, editors. Chapman & Hall
-
C. Fischer. CSP-OZ: A combination of Object-Z and CSP. In H. Bowmann and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS'97), pages 423-438. Chapman & Hall, 1997.
-
(1997)
Formal Methods for Open Object-based Distributed Systems (FMOODS'97)
, pp. 423-438
-
-
Fischer, C.1
-
8
-
-
0043024894
-
Questions and answers about ten formal methods
-
Trento, Italy, Jul
-
P. Hartel, M. Butler, A. Currie, P. Henderson, M. Leuschel, A. Martin, A. Smith, U. Ultes-Nitsche, and B. Walters. Questions and answers about ten formal methods. In Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems, Trento, Italy, Jul 1999.
-
(1999)
Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems
-
-
Hartel, P.1
Butler, M.2
Currie, A.3
Henderson, P.4
Leuschel, M.5
Martin, A.6
Smith, A.7
Ultes-Nitsche, U.8
Walters, B.9
-
10
-
-
84947614113
-
Design and implementation of the high-level specification language CSP(LP) in Prolog
-
I. V. Ramakrishnan, editor, LNCS 1990. Springer-Verlag, March
-
M. Leuschel. Design and implementation of the high-level specification language CSP(LP) in Prolog. In I. V. Ramakrishnan, editor, Proceedings of PADL'01, LNCS 1990, pages 14-28. Springer-Verlag, March 2001.
-
(2001)
Proceedings of PADL'01
, pp. 14-28
-
-
Leuschel, M.1
-
11
-
-
35248853498
-
ProB: A model checker for B
-
K. Araki, S. Gnesi, and D. Mandrioli, editors, LNCS 2805. Springer
-
M. Leuschel and M. Butler. ProB: A Model Checker for B. In K. Araki, S. Gnesi, and D. Mandrioli, editors, Proceedings FME 2003, Pisa, Italy, LNCS 2805, pages 855-874. Springer, 2003.
-
(2003)
Proceedings FME 2003, Pisa, Italy
, pp. 855-874
-
-
Leuschel, M.1
Butler, M.2
-
12
-
-
77957902967
-
Visualizing larger states spaces in ProB
-
LNCS. Springer-Verlag, April. To appear
-
M. Leuschel and E. Turner. Visualizing larger states spaces in ProB. In Proceedings ZB'2005, LNCS. Springer-Verlag, April 2005. To appear.
-
(2005)
Proceedings ZB'2005
-
-
Leuschel, M.1
Turner, E.2
-
14
-
-
0035342661
-
Model-checking CSP-Z: Strategy, tool support and industrial application
-
A. Mota and A. Sampaio. Model-checking CSP-Z: strategy, tool support and industrial application. Sci. Comput. Program., 40(1):59-96, 2001.
-
(2001)
Sci. Comput. Program.
, vol.40
, Issue.1
, pp. 59-96
-
-
Mota, A.1
Sampaio, A.2
-
17
-
-
30344432250
-
Verifying controlled components
-
E. A. Boiten, J. Derrick, and G. Smith, editors, LNCS 2999. Springer
-
S. Schneider and H. Treharne. Verifying controlled components. In E. A. Boiten, J. Derrick, and G. Smith, editors, Proceedings Integrated Formal Methods, IFM 2004, Canterbury, UK, LNCS 2999, pages 87-107. Springer, 2004.
-
(2004)
Proceedings Integrated Formal Methods, IFM 2004, Canterbury, UK
, pp. 87-107
-
-
Schneider, S.1
Treharne, H.2
-
18
-
-
84957380343
-
A semantic integration of Object-Z and CSP for the specification of concurrent systems
-
J. S. Fitzgerald, C. B. Jones, and P. Lucas, editors, LNCS 1313. Springer
-
G. Smith. A semantic integration of Object-Z and CSP for the specification of concurrent systems. In J. S. Fitzgerald, C. B. Jones, and P. Lucas, editors, Proceedings FME '97, LNCS 1313, pages 62-81. Springer, 1997.
-
(1997)
Proceedings FME '97
, pp. 62-81
-
-
Smith, G.1
-
20
-
-
84895064438
-
The semantics of Circus
-
D. Bert, J. P. Bowen, M. C. Henson, and K. Robinson, editors, LNCS 2272. Springer
-
J. Woodcock and A. Cavalcanti. The semantics of Circus. In D. Bert, J. P. Bowen, M. C. Henson, and K. Robinson, editors, Proceedings ZB 2002, Grenoble, France, LNCS 2272, pages 184-203. Springer, 2002.
-
(2002)
Proceedings ZB 2002, Grenoble, France
, pp. 184-203
-
-
Woodcock, J.1
Cavalcanti, A.2
|