RSoulatIOHK
commented
1 year ago | Name | Contract Models |
|---|---|
| Affiliation | IOG/Quviq |
| Purpose | Property Based Testing |
| Available at | https://github.com/input-output-hk/plutus-apps |
| Remarks |
| Name | Plutus Playground / Emulator Trace |
|---|---|
| Affiliation | IOG |
| Purpose | DApp testing environment |
| Available at | https://github.com/input-output-hk/plutus-apps |
| Remarks |
| Name | Plutus Application Backend |
|---|---|
| Affiliation | IOG |
| Purpose | DApp testing environment |
| Available at | https://github.com/input-output-hk/plutus-apps |
| Remarks |
| Name | Cardano Testnet |
|---|---|
| Affiliation | IOG |
| Purpose | DApp testing environment |
| Available at | https://github.com/cardano-foundation/testnets-cardano-org |
| Remarks |
| Name | cooked-validators |
|---|---|
| Affiliation | TWEAG |
| Purpose | Property based testing |
| Available at | https://github.com/tweag/plutus-libs |
| Remarks |
| Name | Pirouette |
|---|---|
| Affiliation | TWEAG |
| Purpose | Bounded Symbolic Execution Engine |
| Available at | https://github.com/tweag/pirouette |
| Remarks | Very new tool, would probably need some extra work for industrial maturity |
| Name | Plutip |
|---|---|
| Affiliation | MLabs |
| Purpose | DApp testing environment |
| Available at | https://github.com/mlabs-haskell/plutip |
| Remarks |
| Name | Plutus Simple Model |
|---|---|
| Affiliation | MLabs |
| Purpose | Unit test |
| Available at | https://github.com/mlabs-haskell/plutus-simple-model |
| Remarks |
| Name | Plutarch Unit |
|---|---|
| Affiliation | MLabs |
| Purpose | Unit test |
| Available at | https://github.com/Liqwid-Labs/plutarch-unit |
| Remarks |
| Name | G2 |
|---|---|
| Affiliation | Yale/UCSD |
| Purpose | Symbolic execution engine |
| Available at | thttps://github.com/BillHallahan/G2 |
| Remarks | Tool for haskell |
| Name | StAn |
|---|---|
| Affiliation | |
| Purpose | Static Analyzer |
| Available at | https://github.com/kowainik/stan |
| Remarks | Tool for Haskell, still in early beta, last release 2 years ago |
| Name | MuCheck |
|---|---|
| Affiliation | |
| Purpose | Automatic Mutation Testing |
| Available at | https://bitbucket.org/osu-testing/mucheck/src/master/ |
| Remarks | Tool for haskell, doesn’t seem very much maintained (last commit on BitBucket in 2015 |
| Name | LiquidHaskell |
|---|---|
| Affiliation | UCSD |
| Purpose | Refinement Types with SMT solving |
| Available at | https://ucsd-progsys.github.io/liquidhaskell/ |
| Remarks | Tool for Haskell |
| Name | SBV |
|---|---|
| Affiliation | Levent Erkok |
| Purpose | SMT Based verification |
| Available at | https://hackage.haskell.org/package/sbv |
| Remarks |