formalverification

There are 0 repository under formalverification topic.

• kemtls / Tamarin-multi-stage-model

  Tamarin proof for the KEMTLS protocol using the multi-stage AKE model

  kemtlstamarincryptographytlsformalverification
  Language:Makefile 7

• davidebasile / FORTE2020

  This is the Uppaal Stratego model published at FORTE2020

  uppaalmodelcheckingformalverificationsynthesisreal-time
  1

• nonlin-lin-chaos-order-etc-etal / chains_formal_tools_now_sh_nextjs

  Blockchains software incl. smart contracts formal verification tools & IDE frontend

  blockchainblockchainsformalverificationformal-verificationsoftwareformalverificationsoftware-formal-verificationopensourcefrontend
  Language:JavaScript 1

• ChasingTheDream369 / Space-Recog-PDF-Secure

  📝📏📄Space-Recog-PDF-Secure ✨🐍 is a Python script designed to format text 📝 into paragraphs with precise width-based 📏 justification. This tool takes input text 📄 and aligns it within specified column widths, optimizing the distribution of white spaces ⚖️ between words to achieve balanced right-margin 🧮 justification.

  dafnydynamicprogrammingformalverificationpost-conditionpythonunit-testinglatex-space-managementoptimal-number-of-spacespre-conditionspace-fitting-algorithmspace-recognition
  Language:Python