model checking
[ˈmɒd.əl ˈtʃek.ɪŋ]
noun
verificação de modelos
1. A formal verification technique in computer science that automatically checks whether a finite-state model of a system satisfies given specifications, typically expressed in temporal logic
Model checking is used to verify that the software meets all safety requirements before deployment.
A verificação de modelos é usada para confirmar que o software atende todos os requisitos de segurança antes da implantação.
2. An algorithmic method that exhaustively explores all possible states of a system to detect bugs and design errors
The team employed model checking to identify critical flaws in the hardware design.
A equipe utilizou verificação de modelos para identificar falhas críticas no design do hardware.
Model checking is a specialized term primarily used in academic computer science, formal methods research, and software/hardware verification industries. It is equally understood in Brazil and Portugal within technical communities, though the English term is often retained in international publications and conferences. The technique gained prominence with the 1997 Turing Award to Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis.
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →