the problems created by the presence or availability of too much information; can cause a person to feel overwhelmed or have difficulty making decisions
the state of being overwhelmed by the enormous amount of information encountered each day
a formal method; the process of automatically determining if a program or sub-program satisfies certain requirements; requirements are often specified using logical expressions