Architecture Processor Configuration

Our statistical methods analyze program execution traces and the variation of the various input and output parameters to validate any future behaviour from a representative set of traces. The representative set is built for each program, identifying which input parameters allow to visit different paths of the algorithm implemented by the program.

FAQ

About Architecture Processor Configuration