array:9 [
  "content-type" => array:1 [
    0 => "text/html; charset=UTF-8"
  ]
  "cache-control" => array:1 [
    0 => "private, must-revalidate"
  ]
  "date" => array:1 [
    0 => "Sat, 07 Feb 2026 22:49:28 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 => "90"
  ]
  "set-cookie" => array:2 [
    0 => "XSRF-TOKEN=eyJpdiI6Ik5WYkxaQVExdm9yVU94MzdIZUdpRGc9PSIsInZhbHVlIjoiQk4xZ0pnYXlRL2pnOSsyL1E3eVU5MERBckI4RmxsUk5QMWxkWlozdmFDaHNaNjJYaTd0eDQ4ZmhxVHgvdmxnZUZ3VVhRRTF6aEhxZDExOGtvQng4NGdvU3ZId3hyR0UvZmhHMnJ3OU1hNzEzbnQzNlI5bUpSZWJZeTQvemFmRVEiLCJtYWMiOiI4NjcyZDEyYThiYWY2YWZjZGE1M2MwYTZlZTgzZjE1YzAxYmZlZjU3OTlkNGU5NTEwMTI5NTcwMzQ4NDJlYzM4IiwidGFnIjoiIn0%3D; expires=Sun, 08 Feb 2026 00:49:28 GMT; Max-Age=7200; path=/; secure; httponly; samesite=lax"
    1 => "progres_session=eyJpdiI6IjlZclFWZm1uczN0U2ZmeThjTDJxc2c9PSIsInZhbHVlIjoic0N4YitBaWtsWTk4NVpBOVdlSlhRYWlLM3FFdkFEempHTnpHMVV1eHRKVWpzY2ttbm1YU3p3Vk9zY0w0bWRnTzFhd0pBQlh3ZjBCanNwRFJERlRKMjdKcHZWRWQxY2dJMis5c2haa0pHM3FSVURKK25xd0w4S1gxaWpIN3A2Y0QiLCJtYWMiOiJiNDllOWYxOTIzMGExZjVlZWNhODczOTI1ODRkZGVhNWI0ZTY0YjgzYmQ5MzlmNDc4MTgyYzBkMDNiZmJkYjUyIiwidGFnIjoiIn0%3D; expires=Sun, 08 Feb 2026 00:49:28 GMT; Max-Age=7200; path=/; secure; httponly; samesite=lax"
  ]
  "Set-Cookie" => array:2 [
    0 => "XSRF-TOKEN=eyJpdiI6Ik5WYkxaQVExdm9yVU94MzdIZUdpRGc9PSIsInZhbHVlIjoiQk4xZ0pnYXlRL2pnOSsyL1E3eVU5MERBckI4RmxsUk5QMWxkWlozdmFDaHNaNjJYaTd0eDQ4ZmhxVHgvdmxnZUZ3VVhRRTF6aEhxZDExOGtvQng4NGdvU3ZId3hyR0UvZmhHMnJ3OU1hNzEzbnQzNlI5bUpSZWJZeTQvemFmRVEiLCJtYWMiOiI4NjcyZDEyYThiYWY2YWZjZGE1M2MwYTZlZTgzZjE1YzAxYmZlZjU3OTlkNGU5NTEwMTI5NTcwMzQ4NDJlYzM4IiwidGFnIjoiIn0%3D; expires=Sun, 08-Feb-2026 00:49:28 GMT; path=/; secure; httponly"
    1 => "progres_session=eyJpdiI6IjlZclFWZm1uczN0U2ZmeThjTDJxc2c9PSIsInZhbHVlIjoic0N4YitBaWtsWTk4NVpBOVdlSlhRYWlLM3FFdkFEempHTnpHMVV1eHRKVWpzY2ttbm1YU3p3Vk9zY0w0bWRnTzFhd0pBQlh3ZjBCanNwRFJERlRKMjdKcHZWRWQxY2dJMis5c2haa0pHM3FSVURKK25xd0w4S1gxaWpIN3A2Y0QiLCJtYWMiOiJiNDllOWYxOTIzMGExZjVlZWNhODczOTI1ODRkZGVhNWI0ZTY0YjgzYmQ5MzlmNDc4MTgyYzBkMDNiZmJkYjUyIiwidGFnIjoiIn0%3D; expires=Sun, 08-Feb-2026 00:49:28 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
