CS550-skiplist

cs550 Formal Verification project - functional skiplist formal verification using Stainless

Name		Name	Last commit message	Last commit date
Latest commit History 104 Commits
no_verif		no_verif
.gitignore		.gitignore
Implementation and Formal Verification of a Skiplist.pdf		Implementation and Formal Verification of a Skiplist.pdf
README.md		README.md
Review Formal verification of skiplists with arbitrary many levels.pdf		Review Formal verification of skiplists with arbitrary many levels.pdf
axioms.scala		axioms.scala
build.sbt		build.sbt
proofs.scala		proofs.scala
properties.scala		properties.scala
report.pdf		report.pdf
skiplist.scala		skiplist.scala
utils.scala		utils.scala

Provide feedback