Details of Grant 

EPSRC Reference:	GR/M13046/01
Title:	FORMAL ANALYSIS OF RANDOMIZED DISTRIBUTED ALGORITHMS
Principal Investigator:	Kwiatkowska, Professor MZ
Other Investigators:	Ryan, Professor M
Researcher Co-Investigators:
Project Partners:
Department:	School of Computer Science
Organisation:	University of Birmingham
Scheme:	Standard Research (Pre-FEC)
Starts:	30 October 1998	Ends:	29 April 2002	Value (£):	8,820
EPSRC Research Topic Classifications:	Fundamentals of Computing
EPSRC Industrial Sector Classifications:	Information Technologies No relevance to Underpinning Sectors
Related Grants:
Panel History:
Summary on Grant Application Form
This project would run in parallel with GR/M04617, which was submitted to EPSRC in November 1997, and will chiefly focus on providing the necessary assistance in developing methods for automating parts of the benchmark correctness arguments through an appropriately scheduled programme of visits by Dr Segala from the University of Bologna.In the early stages, the primary role of Dr Segala would be to teach two concentrated courses, one on randomised distributed algorithms and their formal modelling aspects, and one on the correctness proof for the randomised consensus of Aspnes and Herlihy.In the later stages he would provide on-site assistance in selecting appropriate specification notations and models, and automating parts of the correctness proof.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk Summary Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:
Further Information:
Organisation Website:	http://www.bham.ac.uk