Collections

swMATH28610MaRDI QIDQ40324FDOQ40324

Author name not available (Why is that?)

Official website: https://www.isa-afp.org/entries/Collections.html

Cited In (13)

• Formal verification of an executable LTL model checker with partial order reduction
• Refinement to imperative HOL
• Applying data refinement for monadic programs to Hopcroft's algorithm
• TkWinHOL
• CAVA
• Refinement Monadic
• Gabow SCC
• Native Word
• DiskPaxos
• Imperative Refinement
• Stuttering Equivalence
• Stable Matching
• Verified efficient implementation of Gabow's strongly connected component algorithm

This page was built for software: Collections