Re: Se passer des tests ...

Retourner au contenu associé (journal : La preuve de programme : où en est-on ?)

[^] # Re: Se passer des tests ...

Posté par TImaniac (site web personnel) le 04 mars 2009 à 15:58. En réponse au journal La preuve de programme : où en est-on ?. Évalué à 2.

"aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems"
C'est bien ce que je dis, si t'as pas la contrainte OS temps réel, t'es bien avancé.