uwenku
Список тегов
spark-2014
1
зной
1
ответ
GNATprove: «postcondition может сбой» в простой функции
Я хочу написать простую функцию, которая находит наибольшее число в заданном массиве Integer. Вот спецификация: package Maximum with SPARK_Mode is type Vector is array(Integer range <>) of Integ
ada
gnat
formal-verification
spark-ada
spark-2014
2015-10-22