Ctrl K
Software Highlights
Browse all Highlights

All software

1Filter
Keywords
6
Program languages
0
Licenses
1
1-1 of 1
Logo for Permission-based Verification of Red-Black Trees and Their Merging - Code

Permission-based Verification of Red-Black Trees and Their Merging - Code

Permission-based Verification of Red-Black Trees and Their Merging - Code

  • Deductive verification
  • magic wand
  • producer-consumer pattern
  • + 3
    1
    0