Program analysisIn computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what it is supposed to do.
SievertLe sievert (de symbole Sv) est une unité utilisée pour évaluer l'impact de la radioactivité sur le corps humain. Elle dérive du gray, qui est une unité de mesure physique, en pondérant l'effet des rayonnements par la dangerosité de ces rayonnements, d'une part, et les tissus biologiques affectés, d'autre part. Plus précisément, c'est l'unité dérivée du Système international utilisée pour mesurer une dose équivalente, une dose efficace ou un débit de dose radioactive (Sv/s, Sv/h ou Sv/an), c'est-à-dire pour évaluer quantitativement l'impact biologique d'une exposition humaine à des rayonnements ionisants.
