Trustworthy Graph Algorithms

Abdulaziz Mohammad
Abdulaziz Mohammad
Nipkow Tobias
Nipkow Tobias
Cited by: 0|Views6

Abstract:

The goal of the LEDA project was to build an easy-to-use and extendable library of correct and efficient data structures, graph algorithms and geometric algorithms. We report on the use of formal program verification to achieve an even higher level of trustworthiness. Specifically, we report on an ongoing and largely finished verificati...More

Code:

Data:

Full Text
Bibtex
Your rating :
0

 

Tags
Comments