17 January 2006 07:30
Why: a software verification tool
by GeorgesMarianoWhy aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for
1
(1 marks)