Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface-Reference-Cited by-同舟云学术

Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface

Published:2007-07 Issue: Volume:183 Page:39-55
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Cansell Dominique,Gibson J. Paul,Méry Dominique

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference18 articles.

1. The B Book - Assigning Programs to Meanings;Abrial,1996

2. B#: Toward a synthesis between Z and B;Abrial,2003

3. Abrial, J.-R., Formal methods in industry: achievements, problems, future, in: ICSE '06: Proceeding of the 2&8th international conference on Software engineering (2006), pp. 761–768

4. Refinement and reachability in event B;Abrial,2005

5. On correct refinement of programs;Back;Journal of Computer and System Sciences,1979

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. UTC Time, Formally Verified;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09

2. Formal Verification and Implementation of an E-Voting System;International Journal of Software Innovation;2022-09-30

3. A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops;Lecture Notes in Computer Science;2020

4. Combining Semi-Formal and Formal Methods for the Development of Distributed Reconfigurable Control Systems;IEEE Access;2018

5. Eye tracking-based behavioral study of users using e-voting systems;Computer Standards & Interfaces;2018-01