array:9 [
  "content-type" => array:1 [
    0 => "text/html; charset=UTF-8"
  ]
  "cache-control" => array:1 [
    0 => "private, must-revalidate"
  ]
  "date" => array:1 [
    0 => "Sun, 08 Feb 2026 13:08:51 GMT"
  ]
  "pragma" => array:1 [
    0 => "no-cache"
  ]
  "expires" => array:1 [
    0 => "-1"
  ]
  "x-ratelimit-limit" => array:1 [
    0 => "100"
  ]
  "x-ratelimit-remaining" => array:1 [
    0 => "93"
  ]
  "set-cookie" => array:2 [
    0 => "XSRF-TOKEN=eyJpdiI6IjU0K1ZWNWZSZWZpc2FuUFIzeG92VUE9PSIsInZhbHVlIjoiMk1MVHBXcDRmOG5VWDBoUktnT2lzcEpTd0lOMDZwUlhsaUJoMUNmUGZIbDBWdEt6VHlrZzRSblFWWXQxeWZHeGxqZ0lHNTRHWjI3VDY4M1lGOWQ3UlVkeFBHdlF6SHljOE5wSjRPemM2RGZHUVJocmVScWNIQk5yR1FCZjhnMWIiLCJtYWMiOiJlMjdiMGQ0NDQwZjI5MWVkNzRlM2FkZmI1ODFlMDEwMjc1M2MyYTk5MDAyMGFiODgxNTQ0Y2YxZjkwZDdmNjFjIiwidGFnIjoiIn0%3D; expires=Sun, 08 Feb 2026 15:08:51 GMT; Max-Age=7200; path=/; secure; httponly; samesite=lax"
    1 => "progres_session=eyJpdiI6IkoyWDlpcnJtd3V2NUs2UzVsaEV1ZlE9PSIsInZhbHVlIjoiaVVmcFRhTVdHOTZyWjA4QzhaVGtlcUVDazJuWXdUdDA3dWEwVUlTN2pmWEc3TytYNlMyT3J1RjRERlNDbUVabzdpTzVhTWVibXF3WHdFbzM2djRDZFowZ2RqdDdNMEJTZDNuL3crOHhUYVVMdldadDhtcWxZTDVTbDMvNnA1Q0giLCJtYWMiOiI4NmNkYTI5NWE2MzczY2JmNTYzMmYxZDE4MjI3YTJjODIxOTIzNzFlMWUxNjUzN2M4ODE3NWM0ZTAzZmQwZDk5IiwidGFnIjoiIn0%3D; expires=Sun, 08 Feb 2026 15:08:51 GMT; Max-Age=7200; path=/; secure; httponly; samesite=lax"
  ]
  "Set-Cookie" => array:2 [
    0 => "XSRF-TOKEN=eyJpdiI6IjU0K1ZWNWZSZWZpc2FuUFIzeG92VUE9PSIsInZhbHVlIjoiMk1MVHBXcDRmOG5VWDBoUktnT2lzcEpTd0lOMDZwUlhsaUJoMUNmUGZIbDBWdEt6VHlrZzRSblFWWXQxeWZHeGxqZ0lHNTRHWjI3VDY4M1lGOWQ3UlVkeFBHdlF6SHljOE5wSjRPemM2RGZHUVJocmVScWNIQk5yR1FCZjhnMWIiLCJtYWMiOiJlMjdiMGQ0NDQwZjI5MWVkNzRlM2FkZmI1ODFlMDEwMjc1M2MyYTk5MDAyMGFiODgxNTQ0Y2YxZjkwZDdmNjFjIiwidGFnIjoiIn0%3D; expires=Sun, 08-Feb-2026 15:08:51 GMT; path=/; secure; httponly"
    1 => "progres_session=eyJpdiI6IkoyWDlpcnJtd3V2NUs2UzVsaEV1ZlE9PSIsInZhbHVlIjoiaVVmcFRhTVdHOTZyWjA4QzhaVGtlcUVDazJuWXdUdDA3dWEwVUlTN2pmWEc3TytYNlMyT3J1RjRERlNDbUVabzdpTzVhTWVibXF3WHdFbzM2djRDZFowZ2RqdDdNMEJTZDNuL3crOHhUYVVMdldadDhtcWxZTDVTbDMvNnA1Q0giLCJtYWMiOiI4NmNkYTI5NWE2MzczY2JmNTYzMmYxZDE4MjI3YTJjODIxOTIzNzFlMWUxNjUzN2M4ODE3NWM0ZTAzZmQwZDk5IiwidGFnIjoiIn0%3D; expires=Sun, 08-Feb-2026 15:08:51 GMT; path=/; secure; httponly"
  ]
]
Évaluation de l’impact de fautes matérielles sur le logiciel par Model Checking.

Résumé

Mots-clés

938

8085

49

101
