%------------------------------------------------------------------------------ % Lee Pike % lee.s.pike@nasa.gov % Formal Methods Group, NASA Langley Research Center % % PVS Version 3.1 % % PURPOSE: % To prove the equivalence of a majority vote and a middle value % selection over a bag in the case that a majority value exists. %------------------------------------------------------------------------------
fault_masking_vote[T: NONEMPTY_TYPE,
leq: (total_order?[T])]: THEORY
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
