The bubble sort algorithm has been implemented in a functional manner. Then the correctness of the implementation has been formally verified using Coq. Particularly, the files Perm.v and BubbleSort.v is pertinent to the proposal, and the other .v files are preparatory materials used along the way for learning purposes.
-
Notifications
You must be signed in to change notification settings - Fork 0
jamshed/Formal-Verification-of-Bubble-Sort
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Formal Verification of the Correctness of a Bubble Sort Implementation Using Coq
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published