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.
2009
2009
In previous work we solved the challenge to mechanically verify the Mondex challenge about the specification and refinement of an… Expand
  • figure 1
Is this relevant?
2008
2008
We present a verified JavaCard implementation for the Mondex Verification Challenge. This completes a series of verification… Expand
Is this relevant?
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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
2007
2007
A method for etching copper metal from articles, such as printed circuit boards, by contacting the articles with an etchant… Expand
  • figure 2.1
  • figure 2.2
  • figure 3.1
  • figure 4.1
  • table 6.1
Is this relevant?
2007
2007
Mondex is a payment system that utilizes smart cards as electronic purses for financial transactions. This paper first reports on… Expand
Is this relevant?
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
Is this relevant?
2006
2006
We describe our experiences in mechanising the specification, refinement, and proof of the Mondex Electronic Purse using the Z… Expand
Is this relevant?
1996
1996
Electronic cash systems seek to reengineer cash payments. While the use of cash imposes numerous invisible costs on the economy… Expand
Is this relevant?