https://github.com/reity/article-specifications-for-distinguishing-functions

This article presents a technique for assembling concise, lightweight specifications and unit tests for verifying the identity of a function; the technique sacrifices completeness to enable compact and portable specifications.
https://github.com/reity/article-specifications-for-distinguishing-functions

formal-specification functional-verification lightweight-framework python-articles

Last synced: over 1 year ago
JSON representation

This article presents a technique for assembling concise, lightweight specifications and unit tests for verifying the identity of a function; the technique sacrifices completeness to enable compact and portable specifications.

• Host: GitHub
• URL: https://github.com/reity/article-specifications-for-distinguishing-functions
• Owner: reity
• License: mit
• Created: 2020-04-24T02:06:05.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2021-09-09T23:23:18.000Z (almost 5 years ago)
• Last Synced: 2025-01-23T12:30:37.584Z (over 1 year ago)
• Topics: formal-specification, functional-verification, lightweight-framework, python-articles
• Language: Jupyter Notebook
• Homepage: https://medium.com/reity-llc/lightweight-specifications-for-distinguishing-functions-c5453636eaae
• Size: 13.7 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# article-specifications-for-distinguishing-functions

This article defines and demonstrates a technique for assembling concise, lightweight specifications and unit tests for verifying the identity of a function (in order to distinguish it from other potentially similar functions), with a particular focus on functions that operate on binary data (such as cryptographic primitives). This technique sacrifices completeness in order to enable highly compact and portable representations of function specifications.