alloy-coin

An Alloy Analyzer modeling of standard cryptocurrency transactions, pair-programmed.

Name		Name	Last commit message	Last commit date
Latest commit History 27 Commits
README		README
README.md		README.md
asymmetricKey.als		asymmetricKey.als
blockChain.als		blockChain.als
event.als		event.als
notes.txt		notes.txt
transaction.als		transaction.als
transaction2.als		transaction2.als
transactionsWithHistory.als		transactionsWithHistory.als

Provide feedback