/tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php on line 73

Warning: Attempt to read property "value" on null in /tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php on line 73
" /> /tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php on line 78

Warning: Attempt to read property "value" on null in /tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php on line 78
" /> /tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php on line 96

Warning: Attempt to read property "value" on null in /tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php on line 96
"/> KIT - Application-oriented Formal Verification - <br /> <b>Warning</b>: Undefined array key "title" in <b>/tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php</b> on line <b>99</b><br /> <br /> <b>Warning</b>: Attempt to read property "value" on null in <b>/tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php</b> on line <b>99</b><br />
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Home
#define noname_width 27 #define noname_height 17 static char noname_bits[] = { 0x00,0x00,0x02,0x00,0x00,0x00,0x03,0x00,0x00,0x80,0x03,0x00,0x00,0x80,0x02, 0x00,0x00,0xc0,0x02,0x00,0xe0,0x7f,0xf2,0x03,0x60,0xf3,0x67,0x06,0x30,0x33, 0x36,0x06,0x10,0x33,0x36,0x06,0x00,0x3d,0x3f,0x07,0x8e,0x01,0xf0,0x03,0x9b, 0x01,0x18,0x00,0x9b,0x01,0x18,0x00,0x9e,0x00,0x18,0x00,0xf8,0x03,0x3e,0x00, 0x13,0x00,0x00,0x00,0x1f,0x00,0x00,0x00};