Skip to search formSkip to main contentSkip to account menu

Mondex

Mondex is a smart card electronic cash system, implemented as a Stored-value card. Conceived by Tim Jones and Graham Higgins of the National… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
In previous work we solved the challenge to mechanically verify the Mondex challenge about the specification and refinement of an… 
2008
2008
We present a verified JavaCard implementation for the Mondex Verification Challenge. This completes a series of verification… 
2007
2007
Mondex is a payment system that utilizes smart cards as electronic purses for financial transactions. This paper first reports on… 
Review
2007
Highly Cited
2007
Highly Cited
2007
A development of the Mondex system was undertaken using Event-B and its associated proof tools. An incremental approach was used… 
2007
2007
2007
2007
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a… 
2006
2006
We describe our experiences in mechanising the specification, refinement, and proof of the Mondex Electronic Purse using the Z… 
2006
2006
The Mondex case study about the specification and refinement of an electronic purse as defined in [SCJ00] has recently been… 
2002
2002
This paper describes two new styles for using Z. The first style, based on earlier work for the UK Government, is suitable for…