Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
We present a verified JavaCard implementation for the Mondex Verification Challenge. This completes a series of verification… Expand
2007
2007
Mondex is a payment system that utilizes smart cards as electronic purses for financial transactions. This paper first reports on… Expand
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… Expand
  • figure 2
  • figure 3
  • figure 7
  • figure 8
  • figure 9
2007
2007
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
2007
2007
We present results from the second pilot project in the international Verification Grand Challenge: a formally verified… Expand
  • table 1
  • table 2
2007
2007
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2007
2007
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a… Expand
  • figure 2.1
  • figure 2.2
  • figure 3.1
  • figure 4.1
  • table 6.1
2006
2006
The Mondex case study about the specification and refinement of an electronic purse as defined in [SCJ00] has recently been… Expand
  • figure 1
2006
2006
We describe our experiences in mechanising the specification, refinement, and proof of the Mondex Electronic Purse using the Z… Expand
Highly Cited
1996
Highly Cited
1996
Electronic cash systems seek to reengineer cash payments. While the use of cash imposes numerous invisible costs on the economy… Expand