The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
ACM SIGSOFT Software Engineering Notes
Toward Trustworthy Software Systems
Computer
An incremental development of the Mondex system in Event-B
Formal Aspects of Computing
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B
Methods, Models and Tools for Fault Tolerance
Managing Complexity in Software Development with Formally Based Tools
Electronic Notes in Theoretical Computer Science (ENTCS)
Rigorous Development of Complex Fault-Tolerant Systems
Rigorous design of fault-tolerant transactions for replicated database systems using event b
Rigorous Development of Complex Fault-Tolerant Systems
Hi-index | 0.00 |
Modern days scientific and commercial applications are fairly large and complex and its reliance on large-scale communication, distributed computing infrastructure and complex software system is growing. Electronic payment systems are at the core of many such financially critical software systems. Any failure in such applications may end up in financial losses and loss of trust of users. It is required that these systems exhibit trustworthy behavior and must be able to tolerate failures or attacks. Trustworthiness is now being addressed as an important issue in development of future software systems. In this paper we outline application of formal methods to ensure trustworthiness of electronic payment systems. B specifications of DigiCash payment system are presented. We have used ProB Model checker and animator for temporal model check and constraint based checking, discover errors due to invariant violation and deadlocks, thereby, validating the specifications.