Vérification formelleIn the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
Cinéma sonoreLe cinéma sonore (ou cinéma parlant) désigne les films permettant la vision d’s animées enregistrées et simultanément l’audition d’une bande-son enregistrée. Les films ainsi présentés sont désignés indifféremment comme des films sonores ou films parlants. Restrictivement, cette expression désigne les films d’après 1926-1927, les opposant à la période du cinéma muet (films muets). Elle est ainsi nommée depuis l’avènement du son enregistré sur disque en 1926 par procédé Vitaphone.
