Question

analyse the election procedure

Answer 1

This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behaviors by election officials. The Little-JIL language is used to model example election processes, and various election worker fraudulent behaviors. The FLAVERS finite-state verification system is then used to determine whether different combinations of election worker behaviors cause the process to produce incorrect election results or whether protective actions can be used to thwart these threats.

Answer 2

The election Procedure

Explanation:

1.Preparation of voter's list

In a democratic election, the list of those who are eligible to vote is prepared much before the election and given to everyone.this list is officially called the Electoral Roll and is commonly known as the Voter's list.

 2. Nomination of candidates  

The only difference is that in order to be a candidate the minimum age is 25 while it is only 18 years for being a voter.

Every person who wishes to contest an election has to fill a 'nomination form' and give some money as 'security deposit'

3.  Election Campaign

 It is necessary to have a free and fare and open discussion about who is a better representative ,which party will make a better govt. or what is a good policy. This is what happens during the election campaign.

4.   Polling and counting of votes

 The final stage of an election is the day when the voter's cast or "poll" their vote. Every person whose name is on the voters list can go to a nearby "polling booth"  situated usually in a  local school or a govt. office.