Я пытаюсь нарезать код с помощью Frama-C. Исходный код static uint8_T ALARM_checkOverInfusionFlowRate(void) { uint8_T ov; ov = 0U; if (ALARM_Functional_B.In_Therapy) { if (ALARM_Functional_B.Flow_Rate > ALARM_Functional_B.Flow_Rate_High)...

Учитывая файл C, я хочу вычислить обратный срез по некоторым критериям и сравнить срез с исходным кодом. Поскольку я не хочу создавать программу для нарезки с нуля, я уже пытался привыкнуть к Frama-C, который, кажется, помогает с этой задачей....

Я пытаюсь решить загадку Эйнштейна с помощью Пролога. Когда я пытаюсь пробежать мимо домов (Hs), это показывает Нет. Задача Британец живет в красном доме. Швед держит собак как домашних животных. Датчанин пьет чай. Зеленый дом находится...

Я некоторое время работал над нарезкой программ. Поскольку этот алгоритм обратного среза работает с графом потока управления (CFG) и существует множество инструментов, которые генерируют CFG, я легко реализовал алгоритм обратного среза с помощью...