[SystemSafety] IEC Technical Specification on Formal Methods

[Derek M Jones]

Peter,

> 20 participating members voted yes; a simple majority of 17 is needed. However, only four countries,
> namely China, France, Germany and the UK, nominated experts (this is the IEC term for people
> nominated by their National Committees who participate in IEC standards-committee meetings). At
> least five countries need to nominate experts for the proposal to go ahead. But we only have four.

It is a bit more than nominating an expert.

Countries have to agree to support the work, i.e., they
will set up a committee to monitor the work (which means somebody has
to attend meeting) and make recommendations to their parent
national committee.

This committee might only have one active member (it happens).


-- 
Derek M. Jones           Software analysis
tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com