-
1
-
-
33646941601
-
The verified software repository: A step towards the verifying compiler
-
2
-
Bicarregui J, Hoare T, Woodcock J (2006) The verified software repository: a step towards the verifying compiler. FACJ 18(2):143-151
-
(2006)
FACJ
, vol.18
, pp. 143-151
-
-
Bicarregui, J.1
Hoare, T.2
Woodcock, J.3
-
4
-
-
37549038970
-
Specification Case Studies in RAISE
-
Hung DV, George C, Janowski T, Moore R (eds) Springer, Heidelberg
-
Hung DV, George C, Janowski T, Moore R (eds) (2002) Specification Case Studies in RAISE. FACIT (Formal Approaches to Computing and Information Technology) series. Springer, Heidelberg
-
(2002)
FACIT (Formal Approaches to Computing and Information Technology) Series
-
-
-
6
-
-
37549011284
-
-
ITSEC. Information Technology Security Evaluation Criteria (ITSEC): Preliminary Harmonised Criteria Commission of the European Communities
-
ITSEC. Information Technology Security Evaluation Criteria (ITSEC): Preliminary Harmonised Criteria. Document COM(90) 314, Version 1.2. Commission of the European Communities (1991)
-
(1991)
Document COM(90) 314, Version 1.2
-
-
-
10
-
-
40149089145
-
Event-B Language
-
Project IST-511599 RODIN Rigorous Open Development Environment for Complex Systems 31st May 2005 rodin.cs.ncl.ac.uk
-
Métayer C, Abrial J-R, Voisin L (2005) Event-B Language. Project IST-511599 RODIN Rigorous Open Development Environment for Complex Systems. RODIN Deliverable 3.2 Public Document. 31st May 2005 rodin.cs.ncl.ac.uk
-
(2005)
RODIN Deliverable 3.2 Public Document
-
-
Métayer, C.1
Abrial, J.-R.2
Voisin, L.3
-
15
-
-
84957619083
-
More powerful Z data refinement: Pushing the state of the art in industrial refinement
-
ZUM '98. Berlin, Germany Springer, Heidelberg
-
Stepney S, Cooper D, Woodcock J (1998) More powerful Z data refinement: pushing the state of the art in industrial refinement. ZUM '98. Berlin, Germany. LNCS, vol 1493. Springer, Heidelberg, pp 284-307
-
(1998)
LNCS
, vol.1493
, pp. 284-307
-
-
Stepney, S.1
Cooper, D.2
Woodcock, J.3
-
16
-
-
0043024883
-
-
Technical monograph PRG-126, Oxford University Computing Laboratory. July 2000
-
Stepney S, Cooper D, Woodcock J (2000) An electronic purse: specification, refinement, and proof. Technical monograph PRG-126, Oxford University Computing Laboratory. July 2000
-
(2000)
An Electronic Purse: Specification, Refinement, and Proof
-
-
Stepney, S.1
Cooper, D.2
Woodcock, J.3
-
17
-
-
33749384522
-
The Mondex challenge: Machine checked proofs for an electronic purse
-
Misra J et al (eds) Hamilton, Canada, August 21-27, 2006. Springer, Heidelberg
-
Schellhorn G, Grandy H, Haneberg D, Reif W (2006) The Mondex challenge: machine checked proofs for an electronic purse. In: Misra J et al (eds) FM 2006: formal methods, 14th international symposium on formal methods, Hamilton, Canada, August 21-27, 2006. Springer, Heidelberg, pp 16-31
-
(2006)
FM 2006: Formal Methods, 14th International Symposium on Formal Methods
, pp. 16-31
-
-
Schellhorn, G.1
Grandy, H.2
Haneberg, D.3
Reif, W.4
-
19
-
-
0003566434
-
-
2 Prentice Hall International Series in Computer Science Englewood Cliffs
-
Spivey JM (1992) The Z Notation: a reference manual, 2nd edn. Prentice Hall International Series in Computer Science, Englewood Cliffs, pp 150
-
(1992)
The Z Notation: A Reference Manual
, pp. 150
-
-
Spivey, J.M.1
-
22
-
-
37549043961
-
The certification of the Mondex electronic purse to ITSEC Level E6
-
this issue
-
Woodcock J, Stepney S, Cooper D, Clark J, Jacob J (2008) The certification of the Mondex electronic purse to ITSEC Level E6. Formal Aspects Comput J 20(1) (this issue)
-
(2008)
Formal Aspects Comput J
, vol.20
, Issue.1
-
-
Woodcock, J.1
Stepney, S.2
Cooper, D.3
Clark, J.4
Jacob, J.5
|