Metadata
Author: ParaCrawl Corpus
Data
English[en]
The required effort for developing such a proof today is overwhelming even for the simplest concurrent programs, because of the combinatorial explosion associated with the component interaction.
Spanish[es]
Hoy en día desarrollar este tipo de pruebas requiere un considerable esfuerzo incluso para los programas más simples debido a la explosión combinatórica asociada a la complejidad de las interacciones entre componentes.